index c7cdcc2c97db849d3cfb42cb46a90ec74b187f49..105bc6254f0e1a57f0429021f7f494e479fc866d 100644 (file)
--- a/doc/acknowledgements.txt
+++ b/doc/acknowledgements.txt
Bradley Dean,
Toby Dickenson,
Paul F. Dubois,
+Hauke Duden,
Eric Earnst,
Peter Eisentraut,
Andrew Eland,