diff --git a/THANKS.in b/THANKS.in
index 04a6d3c7d391d913613d400de939d0c40487f9d5..b9a496157deee14fd4261fb0dd9097ce24341eae 100644 (file)
--- a/THANKS.in
+++ b/THANKS.in
Jan Wagner
Christian Schneemann
Rob Windsor
+Hilko Bengen
+Michael Harris