[17:32:55] <wikibugs>	 (PS1) Yaron Koren: Fix for 55da4fa97568 for category pages whose title is numeric [extensions/PageForms] - https://gerrit.wikimedia.org/r/514073
[17:37:37] <wikibugs>	 (PS2) Yaron Koren: Fix for 55da4fa97568 for category pages whose title is numeric [extensions/PageForms] - https://gerrit.wikimedia.org/r/514073
[17:38:33] <wikibugs>	 (CR) jerkins-bot: [V: -1] Fix for 55da4fa97568 for category pages whose title is numeric [extensions/PageForms] - https://gerrit.wikimedia.org/r/514073 (owner: Yaron Koren)
[17:39:53] <wikibugs>	 (CR) jerkins-bot: [V: -1] Fix for 55da4fa97568 for category pages whose title is numeric [extensions/PageForms] - https://gerrit.wikimedia.org/r/514073 (owner: Yaron Koren)
[17:47:41] <wikibugs>	 (PS3) Yaron Koren: Fix for 55da4fa97568 for category pages whose title is numeric [extensions/PageForms] - https://gerrit.wikimedia.org/r/514073
[18:00:07] <wikibugs>	 (CR) Yaron Koren: [C: +2] Fix for 55da4fa97568 for category pages whose title is numeric [extensions/PageForms] - https://gerrit.wikimedia.org/r/514073 (owner: Yaron Koren)
[18:03:45] <wikibugs>	 (Merged) jenkins-bot: Fix for 55da4fa97568 for category pages whose title is numeric [extensions/PageForms] - https://gerrit.wikimedia.org/r/514073 (owner: Yaron Koren)
[19:09:31] <wikibugs>	 (CR) jenkins-bot: Fix for 55da4fa97568 for category pages whose title is numeric [extensions/PageForms] - https://gerrit.wikimedia.org/r/514073 (owner: Yaron Koren)