From a1ab52c6758df8dddca5ebadd7483d78fb599d6b Mon Sep 17 00:00:00 2001
From: Felix Riehn <felix@matilda>
Date: Sun, 16 Dec 2018 16:52:12 +0000
Subject: [PATCH] added felix to authors file

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

diff --git a/AUTHORS b/AUTHORS
index 7036fa769..517adbbef 100644
--- a/AUTHORS
+++ b/AUTHORS
@@ -1,2 +1,3 @@
 Maximilian Reininghaus, maximilian.reininghaus@kit.edu
 Ralf Ulrich, ralf.ulrich@kit.edu
+Felix Riehn, friehn@lip.pt
-- 
GitLab