diff --git a/AUTHORS b/AUTHORS index 4d2affef..758d571e 100644 --- a/AUTHORS +++ b/AUTHORS @@ -140,3 +140,4 @@ Julien Tournier Nandini Rebello Giacinto Cifelli Khaled Romdhani +Pavel Machek