Update AUTHORS file

diff --git a/AUTHORS b/AUTHORS
index 88ef62c845c67b5eb6e68462529a26ab73efcb0e..c4bb8d38c6bddf582f6f8fa3623d8fc0f7c75cea 100644 (file)
--- a/AUTHORS
+++ b/AUTHORS
@@ -26,6 +26,7 @@ Alain Novak <alain.novak@hermes.si>
 Alan Dosser <dosser@src.dec.com>
 Alan J. Demers <ademers@cs.cornell.edu>
 Aleksey Demakov <ademakov@gmail.com>
+Alex Ronne Petersen <alexrp@xamarin.com>
 Alexander Belchenko <bialix@ukr.net>
 Alexander Gavrilov <angavrilov@gmail.com>
 Alexander Herz <alexander.herz@mytum.de>