add Mike Doherty to the AUTHORS file

diff --git a/AUTHORS b/AUTHORS
index 521e941..44f52e2 100644 (file)
--- a/AUTHORS
+++ b/AUTHORS
@@ -798,6 +798,7 @@ Michael Stevens                     <mstevens@etla.org>
 Michael Witten                 <mfwitten@gmail.com>
 Michele Sardo
 Mik Firestone                  <fireston@lexmark.com>
+Mike Doherty                   <mike@mikedoherty.ca>
 Mike Fletcher                  <fletch@phydeaux.org>
 Mike Giroux                    <rmgiroux@acm.org>
 Mike Guy                       <mjtg@cam.ac.uk>