I couldn't file a bug for this: grrrit-wm is not relaying messages since yesterday at about 20.43 UTC.
2013-11-02 21.43 < grrrit-wm> (CR) PleaseStand: "The inconsistency between PHP and HHVM was fixed in https://github.com/facebook/hhvm/commit/0564d8a6a84741a53b9dfbad0eb08d7581d9244a." [core] - https://gerrit.wikimedia.org/r/88651 (owner: PleaseStand)
2013-11-03 0.28 < legoktm> grrrit-wm?
2013-11-03 0.31 < legoktm> YuviPanda: grrrit-wm isn't saying stuff
2013-11-03 0.44 < Nikerabbit> legoktm: I haven't got emails either, so it's probably not grrrit-wm's fault
Mailing list has been silent too for the night, which seems to be what Nikerabbit mentions above. http://blog.gmane.org/gmane.org.wikimedia.mediawiki.cvs
Mwjames (Code Review | 3 Nov 2013 07:38 http://permalink.gmane.org/gmane.org.wikimedia.mediawiki.cvs/207683
jenkins-bot (Code Review | 3 Nov 2013 00:28 http://permalink.gmane.org/gmane.org.wikimedia.mediawiki.cvs/207682
Version: unspecified
Severity: major