2019-01-23 - tools
19:49	<andrewbogott>	shutting down eqiad-region proxies tools-proxy-01 and tools-proxy-02	[tools]