aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSergey M․ <dstftw@gmail.com>2016-08-09 04:04:45 +0700
committerSergey M․ <dstftw@gmail.com>2016-08-09 04:04:45 +0700
commitb6578166847c5435095346b0225abd758cad6bb4 (patch)
tree1822e467bdd7aeb864260e9d754c034d15a3e33f
parent9778b3e7eede2d405f0102a958ea7df7ab2c6444 (diff)
Credit @singh-pratyush96 for #10223
-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