2020-02-25 - tools.it-wiki-users-leaflet
23:47	<wm-bot>	<root> Migrated to 2020 Kubernetes cluster	[tools.it-wiki-users-leaflet]