From 7170af288f965ba93c04f5e63b29760c157b816c Mon Sep 17 00:00:00 2001
From: Remy Prechelt <prechelt@hawaii.edu>
Date: Mon, 22 Jun 2020 15:53:59 +0200
Subject: [PATCH] Update AUTHORS files using current git log.

---
 AUTHORS | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

diff --git a/AUTHORS b/AUTHORS
index 517adbbef..4383221bb 100644
--- a/AUTHORS
+++ b/AUTHORS
@@ -1,3 +1,6 @@
-Maximilian Reininghaus, maximilian.reininghaus@kit.edu
-Ralf Ulrich, ralf.ulrich@kit.edu
-Felix Riehn, friehn@lip.pt
+Hans Dembinski <hdembins@mpi-hd.mpg.de>
+Lukas Nellen <lukas@nucleares.unam.mx>
+Remy Prechelt <prechelt@hawaii.edu>
+Maximilian Reininghaus <maximilian.reininghaus@kit.edu>
+Felix Riehn <friehn@lip.pt>
+Ralf Ulrich <ralf.ulrich@kit.edu>
\ No newline at end of file
-- 
GitLab