From 042968ff319d28f020edcf704b5ab3f21faa6434 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Sergey=20M=E2=80=A4?= Date: Fri, 9 Feb 2018 23:09:16 +0700 Subject: [PATCH] Credit @mweinelt for #15124 --- AUTHORS | 1 + 1 file changed, 1 insertion(+) diff --git a/AUTHORS b/AUTHORS index 039a693df9..6223212aad 100644 --- a/AUTHORS +++ b/AUTHORS @@ -235,3 +235,4 @@ Yang Hongbo Lei Wang Petr Novák Leonardo Taccari +Martin Weinelt