From 10f642b43195538ebd33548d8c793fa0a7e87252 Mon Sep 17 00:00:00 2001 From: =?utf8?q?H=C3=A9ctor=20Or=C3=B3n=20Mart=C3=ADnez?= Date: Sat, 5 Aug 2017 22:42:36 +0200 Subject: [PATCH] decomission praetorius rt#6714 MIME-Version: 1.0 Content-Type: text/plain; charset=utf8 Content-Transfer-Encoding: 8bit Signed-off-by: Héctor Orón Martínez --- modules/debian_org/files/misc/local.yaml | 2 -- 1 file changed, 2 deletions(-) diff --git a/modules/debian_org/files/misc/local.yaml b/modules/debian_org/files/misc/local.yaml index 31ac42d38..06d5209bc 100644 --- a/modules/debian_org/files/misc/local.yaml +++ b/modules/debian_org/files/misc/local.yaml @@ -76,7 +76,6 @@ nameinfo: pizzetti.debian.org: Ildebrando Pizzetti (20 September 1880 - 13 February 1968) plummer.debian.org: John Plummer (c. 1410 - c. 1483) porta.debian.org: Giovanni Porta (c. 1675 - 21 June 1755) - praetorius.debian.org: Hieronymus Praetorius (August 10th, 1560 - January 27th, 1629) prokofiev.debian.org: Sergei Sergeyevich Prokofiev (April 27th, 1891 - March 5th, 1953) quantz.debian.org: Johann Joachim Quantz (January 30th, 1697 - July 12th, 1773) rachmaninoff: Sergei Vasilievich Rachmaninoff (1 April 1873 - 28 March 1943) @@ -194,7 +193,6 @@ host_settings: - powerpc-unicamp-01.debian.org - ppc64el-osuosl-01.debian.org - ppc64el-unicamp-01.debian.org - - praetorius.debian.org - spontini.debian.org - x86-grnet-01.debian.org - zandonai.debian.org -- 2.20.1