2020-05-01 - tools.versions
17:14	<wm-bot>	<bd808> Restarted to force traffic to versions.toolforge.org	[tools.versions]