2021-05-20 - tools.ranker
17:06	<wm-bot>	<lucaswerkmeister> deployed fc9e2977c6 (typing fixes)	[tools.ranker]