From: Héctor Orón Martínez Date: Sat, 5 Aug 2017 20:42:36 +0000 (+0200) Subject: decomission praetorius rt#6714 X-Git-Url: https://git.adam-barratt.org.uk/?a=commitdiff_plain;h=10f642b43195538ebd33548d8c793fa0a7e87252;p=mirror%2Fdsa-puppet.git decomission praetorius rt#6714 Signed-off-by: Héctor Orón Martínez --- 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