Last modified: 2012-08-30 14:26:05 UTC
Apparently gerrit-wm stopped sending notification since midnigt August 30th.
Bot was restarted by ops