From 9778b3e7eede2d405f0102a958ea7df7ab2c6444 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Sergey=20M=E2=80=A4?= Date: Tue, 9 Aug 2016 04:03:52 +0700 Subject: [PATCH] Credit @zvonicek for #10242 and #10253 --- AUTHORS | 1 + 1 file changed, 1 insertion(+) diff --git a/AUTHORS b/AUTHORS index 890c827a0..7e17d625b 100644 --- a/AUTHORS +++ b/AUTHORS @@ -179,3 +179,4 @@ Jakub Adam Wieczorek Aleksandar Topuzović Nehal Patel Rob van Bekkum +Petr Zvoníček