Update AUTHORS file

diff --git a/AUTHORS b/AUTHORS
index 4327d9cdc02f31359646587b4327e296ac3e6188..5d6c5698f9ab59bcde6ea0ac4d225e53f0c67839 100644 (file)
--- 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>