2021-06-06 - tools.ranker
10:51	<wm-bot>	<lucaswerkmeister> deployed 1d9f0d09c8 (mypy fix)	[tools.ranker]