summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--AUTHORS1
1 files changed, 1 insertions, 0 deletions
diff --git a/AUTHORS b/AUTHORS
index 521e941874..44f52e2cf9 100644
--- 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>