Add Mike Kelly to AUTHORS

diff --git a/AUTHORS b/AUTHORS
index 2b47a31..11ca66e 100644 (file)
--- a/AUTHORS
+++ b/AUTHORS
@@ -730,6 +730,7 @@ Mike Giroux                 <rmgiroux@acm.org>
 Mike Guy                       <mjtg@cam.ac.uk>
 Mike Heins                     <mike@bill.iac.net>
 Mike Hopkirk                   <hops@sco.com>
+Mike Kelly                     <pioto@pioto.org>
 Mike Mestnik                   <MMestnik@rustconsulting.com>
 Mike Pomraning                 <mjp@pilcrow.madison.wi.us>
 Mike Rogers