Merge branch 'opt_attr'

diff --git a/AUTHORS b/AUTHORS
index 6bb419437e3b82b509f936d6548608d50fbfae39..d4d845e10b431151ab2676e0f8a719115bd613bb 100644 (file)
--- a/AUTHORS
+++ b/AUTHORS
@@ -4,4 +4,6 @@ Steven Schubiger.  Main author.
 
 Urs Fässler.  Suggestions on refactoring cleaning lines.
 
+Axel Beckert.  Help with Debian Packaging.
+
 Elias Diem.  Initial .gitignore.