From dd72460bd126830456dbd59689078fa3eb09b49e Mon Sep 17 00:00:00 2001
From: Denis Kenzior <denkenz@gmail.com>
Date: Tue, 22 Jan 2019 11:03:07 -0600
Subject: [PATCH] AUTHORS: Mention Pavel's contributions

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

diff --git a/AUTHORS b/AUTHORS
index 4d2affef..758d571e 100644
--- a/AUTHORS
+++ b/AUTHORS
@@ -140,3 +140,4 @@ Julien Tournier <tournier.julien@gmail.com>
 Nandini Rebello <nandini.rebello@intel.com>
 Giacinto Cifelli <gciofono@gmail.com>
 Khaled Romdhani <khaledromdhani216@gmail.com>
+Pavel Machek <pavel@ucw.cz>