From a05ba09d904b366f467479cb022c76f287befa43 Mon Sep 17 00:00:00 2001
From: Brian Anderson <banderson@mozilla.com>
Date: Wed, 5 Dec 2012 12:04:50 -0800
Subject: [PATCH] Add Michael Arntzenius to AUTHORS.txt

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

diff --git a/AUTHORS.txt b/AUTHORS.txt
index db7e3ee39a2..d8eb10536da 100644
--- a/AUTHORS.txt
+++ b/AUTHORS.txt
@@ -87,6 +87,7 @@ Marijn Haverbeke <marijnh@gmail.com>
 Matt Brubeck <mbrubeck@limpet.net>
 Matthew O'Connor <thegreendragon@gmail.com>
 Max Penet <max.penet@gmail.com>
+Michael Arntzenius <daekharel@gmail.com>
 Michael Bebenita <mbebenita@mozilla.com>
 Michael Sullivan <sully@msully.net>
 Niko Matsakis <niko@alum.mit.edu>