*** empty log message ***

diff --git a/THANKS b/THANKS
index 4bec75801953ab1f90f296e8e2a76f1831a8f6dc..d16dfedbe40e1332b6695c2f8120713203bd8eed 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -232,6 +232,7 @@ Niklas Edmundsson                   nikke@acc.umu.se
 Noah Friedman                       friedman@splode.com
 Noel Cragg                          noel@red-bean.com
 Olav Morkrid                        olav@funcom.com
+Ole Laursen                         olau@hardworking.dk
 Oskar Liljeblad                     osk@hem.passagen.se
 Ørn E. Hansen                       oehansen@daimi.aau.dk
 Paul Eggert                         eggert@twinsun.com