From a702056fbe0e4dc615ebc73d6891c505cd7d818f Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Sergey=20M=E2=80=A4?= Date: Sun, 22 Jul 2018 21:26:12 +0700 Subject: [PATCH] Credit @bastiandg for #16189 --- AUTHORS | 1 + 1 file changed, 1 insertion(+) diff --git a/AUTHORS b/AUTHORS index eaf96d79d8..c9f7189ac4 100644 --- a/AUTHORS +++ b/AUTHORS @@ -239,3 +239,4 @@ Martin Weinelt Surya Oktafendri TingPing Alexandre Macabies +Bastian de Groot