Credit @gfabiano for #13382, #13385, #13415

steven7851 · Jul 6, 2017 · ddeff4b · ddeff4b
1 parent 60d4401
commit ddeff4b
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/AUTHORS b/AUTHORS
@@ -220,3 +220,4 @@ gritstub
 Adam Voss
 Mike Fährmann
 Jan Kundrát
+Giuseppe Fabiano