diff --git a/AUTHORS b/AUTHORS index cefd0c1..aa9b956 100644 --- a/AUTHORS +++ b/AUTHORS @@ -3,3 +3,4 @@ Vojtech Jasny Roman Krejcik Jan Vesely Ales Zoulek +Jannis Leidel