[11:56:04] <reba>	 Silke Meyer * Re: [Toolserver-l] [Labs-l] DEPRECATED: tools.wikimedia.de -> Get rid of it!
[12:30:04] <reba>	 Merlijn van Deen * Re: [Toolserver-l] [Labs-l] DEPRECATED: tools.wikimedia.de -> Get rid of it!
[18:04:04] <reba>	 Platonides * Re: [Toolserver-l] [Labs-l] DEPRECATED: tools.wikimedia.de -> Get rid of it!
[21:41:31] <MartijnH>	 hi people, I came across a broken redirect from toolserver to tool labs. How should I get that fixed?
[22:24:18] <Reedy>	 Tell the user?