Decommission zemlinsky.d.o (RT#7208)

Signed-off-by: Aurelien Jarno <aurelien@aurel32.net>

diff --git a/modules/debian_org/files/misc/local.yaml b/modules/debian_org/files/misc/local.yaml
index 1a579b5..0198b7c 100644 (file)
--- a/modules/debian_org/files/misc/local.yaml
+++ b/modules/debian_org/files/misc/local.yaml
@@ -105,7 +105,6 @@ nameinfo:
   zandonai.debian.org: Riccardo Zandonai (May 30th, 1883 - June 5th, 1944)
   zani.debian.org: Andrea Teodoro Zani (November 11th, 1696 - September 28th, 1757)
   zelenka.debian.org: Jan Dismas Zelenka (October 16th, 1679 - December 23rd, 1745)
-  zemlinsky.debian.org: Alexander von Zemlinsky (October 14th, 1871 - March 15th 1942)
 footer:
   dummy: foo
   #zandonai.debian.org: "Debian s390 buildd system kindly provided by Zentrum fuer Informationsverarbeitung und Informationstechnik [zivit]"
@@ -179,7 +178,6 @@ host_settings:
     - x86-grnet-01.debian.org
     - zandonai.debian.org
     - zani.debian.org
-    - zemlinsky.debian.org
     - x86-bm-01.debian.org
     - x86-csail-01.debian.org
     - x86-csail-02.debian.org