Rename jenkins to jenko (RT:#5781)

[dsa-puppet.git] / modules / debian-org / misc / local.yaml

diff --git a/modules/debian-org/misc/local.yaml b/modules/debian-org/misc/local.yaml
index e085bca3be251ea7d24ba32425a0886f081c96eb..36f13695cf1021f28325a11c74eccdee1d58dc5f 100644 (file)
--- a/modules/debian-org/misc/local.yaml
+++ b/modules/debian-org/misc/local.yaml
@@ -53,7 +53,7 @@ nameinfo:
   hasse.debian.org: Johann Adolph Hasse (March 25th, 1699 - December 16th, 1783)
   henze.debian.org: Hans Werner Henze (July 1st, 1926 - October 27th, 2012)
   hoiby.debian.org: Lee Henry Hoiby (February 17th, 1926 - March 28th, 2011)
-  jenkins.debian.org: John Jenkins (1592 - 1678)
+  jenko.debian.org: Davorin Jenko (November 9th, 1835 - November 25th. 1914)
   jerea.debian.org: Hilda Jerea (March 17th, 1916 - May 14th, 1980)
   kaufmann.debian.org: Georg Friedrich Kauffmann (February 14th, 1679 - February 27th, 1735)
   klecker.debian.org: Dedicated to Joel 'Espy' Klecker (1979 - July 11th, 2000)