diff options
-rw-r--r-- | docs/THANKS | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/docs/THANKS b/docs/THANKS index 84a8eff0e..c1d1a8cda 100644 --- a/docs/THANKS +++ b/docs/THANKS @@ -274,6 +274,7 @@ David Woodhouse David Wright David Yan Dengminwen +Dennis Clarke Derek Higgins Detlef Schmier Didier Brisebourg |