Update THANKS

diff --git a/THANKS b/THANKS
index 922682f9de363d9633af8d25d9ba1d34c233310b..d1a8915c84b7aeaf978e159077c00a437bdb5b42 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -368,6 +368,7 @@ Olaf Schlueter              olaf@toppoint.de
 Olaf Wucknitz          owucknitz@hs.uni-hamburg.de
 Oliver Trepte          oliver@fysik4.kth.se
 Olivier Roussel                roussel@lifl.fr
+Ondřej Vašík                ovasik@redhat.com
 Oswald P. Backus IV    backus@lks.csi.com
 Pascal Meheut          pascal@cnam.cnam.fr
 Patrick Fulconis       fulco@sig.uvsq.fr