2020-07-08 - tools.admin
00:57	<wm-bot>	<bd808> Hard restart. Deploying 9d497a7 (Toolinfo: do not require a trailing / for toolforge.org urls)	[tools.admin]