[12:46:04] <reba>	 Silke Meyer * [Toolserver-l] Please update the toolserver links in Gadgets
[15:09:56] <liangent>	 where's the migrated https://toolserver.org/~kolossos/ ?
[15:12:14] <Reedy>	 has it even been migrated?
[15:12:51] <Reedy>	 http://tools.wmflabs.org/
[17:44:03] <Silke_WMDE>	 Reedy: liangent He is still busy migrating.
[20:36:04] <reba>	 seth * Re: [Toolserver-l] [Labs-l] DEPRECATED: tools.wikimedia.de -> Get rid of it!