patrick.thomas@LIGO.ORG - posted 16:54, Thursday 04 May 2017 (36032)
Logged out of h1hpipumpctrll0
Forgot I was logged in from when we were in maintenance for cleanroom cleaning. Logged out at ~23:51 UTC.