From a593c9091262b0e9b15d016a4a29be6aedad6efd Mon Sep 17 00:00:00 2001 From: Thomas Lauf Date: Thu, 14 Dec 2017 22:12:54 +0100 Subject: [PATCH] Update AUTHORS --- AUTHORS | 1 + 1 file changed, 1 insertion(+) diff --git a/AUTHORS b/AUTHORS index a6cbfeac..d0172fcd 100644 --- a/AUTHORS +++ b/AUTHORS @@ -56,3 +56,4 @@ suggestions: Yury Videneev Bodo Graumann Lynoure + Tim Ruffing