From 58a3e9012eb383280671e4499e5f248e7ecaf88b Mon Sep 17 00:00:00 2001
From: Ivan Maidanski <ivmai@mail.ru>
Date: Fri, 30 Jan 2015 19:47:35 +0300
Subject: [PATCH] Update AUTHORS file

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

diff --git a/AUTHORS b/AUTHORS
index d394b7a..ed740f3 100644
--- a/AUTHORS
+++ b/AUTHORS
@@ -30,6 +30,7 @@ Maged Michael <michael@cs.rochester.edu>
 Manuel Serrano <Manuel.Serrano@inria.fr>
 Michael Hope <michael.hope@linaro.org>
 Patrick Marlier <patrick.marlier@unine.ch>
+Pavel Raiskup <praiskup@redhat.com>
 Petter Urkedal <urkedal@nbi.dk>
 Philipp Zambelli <pzamb@iicm.edu>
 Ranko Zivojnovic <ranko@spidernet.net>
-- 
2.7.4