1 files changed, 1 insertions, 0 deletions
diff --git a/AUTHORS b/AUTHORS
index 4b49e63..baf82dc 100644
--- a/AUTHORS
+++ b/AUTHORS
@@ -20,6 +20,7 @@ William Xu <william.xwl@gmail.com>
 Ye Wenbin <wenbinye@gmail.com>
 Yoni Rabkin Katzenell <yoni-r@actcom.com>
 Jesse Weinstein <jessw@netwood.net>
+David Engster <deng@randomsample.de>
 
 ;; Local variables:
 ;; coding: utf-8