From daa6cd949f6d374528b7a1305ffaff2bb094a66d Mon Sep 17 00:00:00 2001
From: Ivan Maidanski <ivmai@mail.ru>
Date: Sun, 17 May 2015 14:10:32 +0300
Subject: [PATCH] Update AUTHORS file

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

diff --git a/AUTHORS b/AUTHORS
index 88ef62c8..c4bb8d38 100644
--- 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>
-- 
2.40.0