aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSergey M․ <dstftw@gmail.com>2017-07-06 23:03:51 +0700
committerSergey M․ <dstftw@gmail.com>2017-07-06 23:15:09 +0700
commitddeff4be3fb491a82d775fcd4140fc49a443864c (patch)
treeeb2a384aff5e191effc1a33ac78db5a939a39a7c
parent60d4401c5e14d94574e2418d229dcc0c067d3559 (diff)
Credit @gfabiano for #13382, #13385, #13415
-rw-r--r--AUTHORS1
1 files changed, 1 insertions, 0 deletions
diff --git a/AUTHORS b/AUTHORS
index e2bdebe5e..2f828adb5 100644
--- a/AUTHORS
+++ b/AUTHORS
@@ -220,3 +220,4 @@ gritstub
Adam Voss
Mike Fährmann
Jan Kundrát
+Giuseppe Fabiano