From ddeff4be3fb491a82d775fcd4140fc49a443864c Mon Sep 17 00:00:00 2001 From: =?utf8?q?Sergey=20M=E2=80=A4?= 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 e2bdebe5e..2f828adb5 100644 --- a/AUTHORS +++ b/AUTHORS @@ -220,3 +220,4 @@ gritstub Adam Voss Mike Fährmann Jan Kundrát +Giuseppe Fabiano -- 2.30.2