diff --git a/THANKS.in b/THANKS.in
index e76de7a99844f8d2af1473d1ddd2edfda44755db..014a65612a34e18d1af62e5e92ef87166d1ef3d6 100644 (file)
--- a/THANKS.in
+++ b/THANKS.in
John Warburton
Paulo Fessel
Randy O'Meara
+Mario Witte
+Rainer Duffner