[Labs-l] DEPRECATED: tools.wikimedia.de -> Get rid of it!

[Silke Meyer]

Dear tool maintainers!

The domain tools.wikimedia.de, aliasing toolserver.org, has been
deprecated for a very long time. It is legacy from the past and we
kept it for your convenience so you wouldn't have to modify any tool.

With the toolserver redirects to Tool Labs things are getting
complicated enough without this old stuff. If you have very old tools
and you are still using tools.wikimedia.de, please get rid of that
domain! After the toolserver's shutdown, this redirect will on longer
work.

Thanks for your understanding!
Cheers, Silke

-- 
Silke Meyer
Internes IT-Management und Projektmanagement Toolserver

Wikimedia Deutschland e.V. | Tempelhofer Ufer 23-24 | 10963 Berlin
Tel. (030) 219 158 260

http://wikimedia.de

Wikimedia Deutschland - Gesellschaft zur Förderung Freien Wissens e.V.
Eingetragen im Vereinsregister des Amtsgerichts Berlin-Charlottenburg
unter der Nummer 23855 B. Als gemeinnützig anerkannt durch das
Finanzamt für Körperschaften I Berlin, Steuernummer 27/681/51985.