2019-08-12 - tools.wdmm
09:40	<wm-bot>	<lucaswerkmeister-wmde> switched to python3.5 and deployed 6f15b714bb (bgwiki{,news} overrides)	[tools.wdmm]