[14:12:26] <wikibugs>	 (03CR) 10GeorgeBarnick: [V: 032 C: 032] Add header categories and site navigation to small sidebar [skins/Refreshed] (refreshed4-beta) - 10https://gerrit.wikimedia.org/r/455483 (owner: 10MtMNC)
[14:19:55] <wikibugs>	 (03Merged) 10jenkins-bot: Add header categories and site navigation to small sidebar [skins/Refreshed] (refreshed4-beta) - 10https://gerrit.wikimedia.org/r/455483 (owner: 10MtMNC)