From e8b1c367eeafcc3f949dd6e5d5b240354b1fbbb1 Mon Sep 17 00:00:00 2001
From: Mortier Benoit <benoit.mortier@opensides.be>
Date: Tue, 3 May 2016 13:48:15 +0200
Subject: [PATCH] Updating AUTHORS for 1.0.12

Signed-off-by: Mortier Benoit <benoit.mortier@opensides.be>
---
 AUTHORS | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/AUTHORS b/AUTHORS
index 62cba0a12..647679e66 100644
--- a/AUTHORS
+++ b/AUTHORS
@@ -177,3 +177,7 @@ documentation and additional help.
   
 * Tobias Göbel
   Fixes for PHP7 compatibility
+
+* Christian Kreidl <christian.kreidl@ziti.uni-heidelberg.de>
+  ppolicy improvement
+  
-- 
GitLab