From ddeff4be3fb491a82d775fcd4140fc49a443864c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Sergey=20M=E2=80=A4?= <dstftw@gmail.com>
Date: Thu, 6 Jul 2017 23:03:51 +0700
Subject: [PATCH] Credit @gfabiano for #13382, #13385, #13415

---
 AUTHORS | 1 +
 1 file changed, 1 insertion(+)

diff --git a/AUTHORS b/AUTHORS
index e2bdebe5e0f9..2f828adb50fd 100644
--- a/AUTHORS
+++ b/AUTHORS
@@ -220,3 +220,4 @@ gritstub
 Adam Voss
 Mike Fährmann
 Jan Kundrát
+Giuseppe Fabiano