From 1851f36beba36a08eb6946a6a187bfc8a0ebcbd4 Mon Sep 17 00:00:00 2001 From: Maik Figura Date: Sat, 15 Jul 2017 15:10:55 +0200 Subject: Add PR requirements changelog and authors --- AUTHORS | 1 + 1 file changed, 1 insertion(+) (limited to 'AUTHORS') diff --git a/AUTHORS b/AUTHORS index cd9678b3f..cbcb16639 100644 --- a/AUTHORS +++ b/AUTHORS @@ -99,6 +99,7 @@ Lukas Bednar Luke Murphy Maciek Fijalkowski Maho +Maik Figura Mandeep Bhutani Manuel Krebber Marc Schlaich -- cgit v1.2.3