2016-11-08 - tools.lolrrit-wm
21:33	<Zppix>	merged https://gerrit.wikimedia.org/r/#/c/320214/ & https://gerrit.wikimedia.org/r/#/c/320419/	[tools.lolrrit-wm]