The Buildbot working for 'Python' has noticed that the worker named gps-ubuntu-exynos5-armv7l went away.
It last disconnected at Mon Nov 18 14:45:24 2019.
The admin on record (as reported by WORKER:info/admin) was Gregory P. Smith <greg(a)krypto.org>
.
Sincerely,
-The Buildbot