*** empty log message ***

diff --git a/THANKS b/THANKS
index 7ffa0af9a63b671d86db2863f61fda25db1dc860..ae8ed1ea918e67d66ed5e2b6dfb6b837c04ee284 100644 (file)
--- 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