*** empty log message ***

diff --git a/THANKS b/THANKS
index bf2da953392eb30aff4a9de9fefed1808539882f..1f3fc6eaa5fd1e4e0862994a82cb0858d90afc37 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -204,6 +204,7 @@ Niklas Edmundsson                   nikke@acc.umu.se
 Noah Friedman                       friedman@splode.com
 Noel Cragg                          noel@red-bean.com
 Olav Morkrid                        olav@funcom.com
+Ørn E. Hansen                       oehansen@daimi.aau.dk
 Paul Eggert                         eggert@twinsun.com
 Paul Nevai                          nevai@ops.mps.ohio-state.edu
 Paul Sauer                          paul@alexa.com
@@ -272,4 +273,3 @@ William Dowling                     will@franklin.com
 William Lewis                       wiml@omnigroup.com
 Wolfram Kleff                       kleff@cs.uni-bonn.de
 Zvi Har'El                          rl@math.technion.ac.il
-Ørn E. Hansen                       oehansen@daimi.aau.dk