From ab0b7b27841366d73a808fbbccda6df45169141f Mon Sep 17 00:00:00 2001
From: Brian Anderson <banderson@mozilla.com>
Date: Mon, 28 Jan 2013 14:42:46 -0800
Subject: [PATCH] Add Michael Neumann to AUTHORS

---
 AUTHORS.txt | 1 +
 1 file changed, 1 insertion(+)

diff --git a/AUTHORS.txt b/AUTHORS.txt
index b0651eadae3..076cc8596fa 100644
--- a/AUTHORS.txt
+++ b/AUTHORS.txt
@@ -108,6 +108,7 @@ Matthew O'Connor <thegreendragon@gmail.com>
 Max Penet <max.penet@gmail.com>
 Michael Arntzenius <daekharel@gmail.com>
 Michael Bebenita <mbebenita@mozilla.com>
+Michael Neumann <mneumann@ntecs.de>
 Michael Sullivan <sully@msully.net>
 Nick Desaulniers <ndesaulniers@mozilla.com>
 Niko Matsakis <niko@alum.mit.edu>