diff --git a/docs/Contributors.txt b/docs/Contributors.txt index e9cdbc3b08..4ca8fcc4f0 100644 --- a/docs/Contributors.txt +++ b/docs/Contributors.txt @@ -63,6 +63,7 @@ Michael A. Hess Micha Nelissen Michal Bukovjan Olivier Guilbaud +Patrick Chevalley Paul Ishenin Peter Dyson Philip J. Hess