2019-05-31 - tools.quickcategories
16:57	<wm-bot>	<lucaswerkmeister> deployed 3c58cc0810 (minor UI improvements)	[tools.quickcategories]