2020-06-15 - tools.wb2rdf
21:09	<wm-bot>	<lucaswerkmeister> renamed default branch from master to main	[tools.wb2rdf]