From fe57be6f495ccfe504f3a7d80cff2282d391d72c Mon Sep 17 00:00:00 2001
From: Daniel Baumann <daniel@debian.org>
Date: Mon, 13 Dec 2010 23:48:04 +0100
Subject: [PATCH] Updating credits file.

---
 docs/CREDITS | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/docs/CREDITS b/docs/CREDITS
index 4d89790f4..e38e2ee9c 100644
--- a/docs/CREDITS
+++ b/docs/CREDITS
@@ -48,7 +48,8 @@ Donations (alphabetical order):
 
 Special thanks (alphabetical order):
 
-  * Ben Armstrong <synrg@debian.org> for his IRC support.
+  * Ben Armstrong <synrg@debian.org> for his IRC support and tremendous work on
+    documentation.
   * Jason D. Clinton <me@jasonclinton.com> for his work on netboot type.
   * Otavio Salvador <otavio@debian.org> for his QA patches.
   * Richard Nelson <rjent@rjent.pair.com> for live-webhelper.