2021-10-26 - tools
18:00	<majavah>	deleting legacy ingresses for tools.wmflabs.org urls	[tools]