diff --git a/docs/Contributors.txt b/docs/Contributors.txt index 4e189c7ae5..e89e299870 100644 --- a/docs/Contributors.txt +++ b/docs/Contributors.txt @@ -165,6 +165,7 @@ Nikolay Ermolov Nur Cholif Murtadho Olivier Guilbaud Ondrej Pokorny +Pascal Riekenberg Patrick Chevalley Paul Ishenin Paul Michell