diff --git a/AUTHORS b/AUTHORS index e2815a66..a1050dd9 100644 --- a/AUTHORS +++ b/AUTHORS @@ -13,3 +13,4 @@ Braian Bressan Jin Zhanbing Enes Yalcin Serefhan Yeter +Pavol Vrba