summaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
-rw-r--r--AUTHORS1
1 files changed, 1 insertions, 0 deletions
diff --git a/AUTHORS b/AUTHORS
index 7e17d625b..1fd4be785 100644
--- a/AUTHORS
+++ b/AUTHORS
@@ -180,3 +180,4 @@ Aleksandar Topuzović
Nehal Patel
Rob van Bekkum
Petr Zvoníček
+Pratyush Singh