diff --git a/AUTHORS b/AUTHORS index ddcd0bd..b04c05d 100644 --- a/AUTHORS +++ b/AUTHORS @@ -1,4 +1,4 @@ Matthias Jentsch +Ben Wiederhake Vitaly Valtman -Christopher Althaus -Markus Endres +Christopher Althaus \ No newline at end of file