The Buildbot working for 'Python' has noticed that the worker named gps-debian-profile-opt went away.

It last disconnected at Tue Jan 26 15:14:36 2021.

The admin on record (as reported by WORKER:info/admin) was Gregory P. Smith <greg@krypto.org> [Google, LLC] .

Sincerely, -The Buildbot