diff options
author | Jörg Frings-Fürst <debian@jff-webhsoting.net> | 2018-11-21 08:50:59 +0100 |
---|---|---|
committer | Jörg Frings-Fürst <debian@jff-webhsoting.net> | 2018-11-21 08:50:59 +0100 |
commit | 4525c4951ed4d49ceb65525cea14b9aa35f1d3fc (patch) | |
tree | 8ed4dc2c3fbbfdad043d8ea8b6bc6e35e574606b /THANKS | |
parent | cc175e2048d967ddb8f3e54587938072150bbc7c (diff) | |
parent | 294cef1daeb0b72062e6b01436d7bc95e87fcaa1 (diff) |
Merge branch 'release/debian/0.9.0-1'debian/0.9.0-1
Diffstat (limited to 'THANKS')
-rw-r--r-- | THANKS | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -30,6 +30,7 @@ Michael Anthony Puls II Michelino Chionchio Michel Zou Mo McRoberts +Periklis Akritidis Philip de Nier Radu Hociung Ralf S. Engelschall |