1 files changed, 1 insertions, 0 deletions

diff --git a/THANKS b/THANKS
index 7ffa0af9a..ae8ed1ea9 100644
--- a/THANKS
+++ b/THANKS
@@ -318,6 +318,7 @@ Ole Laursen                         olau@hardworking.dk
 Oliver Kiddle                       okiddle@yahoo.co.uk
 Ørn E. Hansen                       oehansen@daimi.aau.dk
 Oskar Liljeblad                     osk@hem.passagen.se
+Patrick Mauritz                     oxygene@studentenbude.ath.cx
 Paul Eggert                         eggert@twinsun.com
 Paul Jarc                           prj@po.cwru.edu
 Paul Nevai                          nevai@ops.mps.ohio-state.edu