aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSergey M․ <dstftw@gmail.com>2018-02-09 23:09:16 +0700
committerSergey M․ <dstftw@gmail.com>2018-02-09 23:10:36 +0700
commit042968ff319d28f020edcf704b5ab3f21faa6434 (patch)
tree5b668d18ecf6d7ca9700e6b71857db8f42443ab4
parent430f2ca544b159530171854e1a5b9d889d51ff40 (diff)
Credit @mweinelt for #15124
-rw-r--r--AUTHORS1
1 files changed, 1 insertions, 0 deletions
diff --git a/AUTHORS b/AUTHORS
index 039a693df..6223212aa 100644
--- a/AUTHORS
+++ b/AUTHORS
@@ -235,3 +235,4 @@ Yang Hongbo
Lei Wang
Petr Novák
Leonardo Taccari
+Martin Weinelt