From 514b35d452070315f3a90766ba6cba5f8755eb7c Mon Sep 17 00:00:00 2001
From: Ivan Maidanski <ivmai@mail.ru>
Date: Tue, 19 Mar 2019 22:54:11 +0300
Subject: [PATCH] Update AUTHORS file (add Richard Zidlicky)

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

diff --git a/AUTHORS b/AUTHORS
index 8a3748ec..27da080e 100644
--- a/AUTHORS
+++ b/AUTHORS
@@ -344,6 +344,7 @@ Reza Shahidi
 Richard Earnshaw <rearnsha@arm.com>
 Richard Henderson <rth@redhat.com>
 Richard Sandiford <rsandifo@nildram.co.uk>
+Richard Zidlicky <Richard.Zidlicky@stud.informatik.uni-erlangen.de>
 Rob Haack <rhaack@polaris.unm.edu>
 Robert Brazile <brazile@diamond.bbn.com>
 Rodrigo Kumpera <kumpera@gmail.com>
-- 
2.40.0