diff --git a/CONTRIBUTORS b/CONTRIBUTORS index 9471e32ae..00a1e7d8b 100644 --- a/CONTRIBUTORS +++ b/CONTRIBUTORS @@ -227,6 +227,7 @@ Paul Christmann Paul Galbraith Paul King Paulo Gaspar +Pavel Jisl Pawel Zuzelski Peter B. West Peter Donald