diff --git a/AUTHORS b/AUTHORS index 88c617268..f5bc832e5 100644 --- a/AUTHORS +++ b/AUTHORS @@ -240,6 +240,7 @@ Pavel Bibergal Pavel Pimenov Pavel Roschin Pavel Skipenes +Pavel Šimovec Pavol Misik Pete Johns Peter Pentchev