diff --git a/AUTHORS b/AUTHORS index 7e17d625bee7..1fd4be78522b 100644 --- a/AUTHORS +++ b/AUTHORS @@ -180,3 +180,4 @@ Aleksandar Topuzović Nehal Patel Rob van Bekkum Petr Zvoníček +Pratyush Singh