From 926282eb7ff96adc80ca48e53831562457e276b3 Mon Sep 17 00:00:00 2001
From: Ivan Maidanski <ivmai@mail.ru>
Date: Sun, 29 Jul 2018 10:21:04 +0300
Subject: [PATCH] Update AUTHORS file (add Michael DeRoy)

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

diff --git a/AUTHORS b/AUTHORS
index 51a3ed2..1349236 100644
--- a/AUTHORS
+++ b/AUTHORS
@@ -274,6 +274,7 @@ Maurizio Vairani <maurizio.vairani@cloverinformatica.it>
 Max Mouratov <mmouratov@gmail.com>
 Melissa O'Neill <oneill@cs.sfu.ca>
 Michael Arnoldus <chime@proinf.dk>
+Michael DeRoy <deroymichael@gmail.com>
 Michael Fox <mfox@cavium.com>
 Michael Smith <msmith@spinnakernet.com>
 Michael Spertus <mps@geodesic.com>
-- 
2.7.4