*** empty log message ***

1 files changed, 1 insertions, 0 deletions

diff --git a/THANKS b/THANKS
index 78aba2690..52609e01c 100644
--- a/THANKS
+++ b/THANKS
@@ -199,6 +199,7 @@ Matthew Braun                       matthew@ans.net
 Matthew Clarke                      Matthew_Clarke@mindlink.bc.ca
 Matthew S. Levine                   mslevine@theory.lcs.mit.edu
 Matthew Swift                       swift@alum.mit.edu
+Mattias Wadenstein                  maswan@acc.umu.se
 Matthias Urlichs                    smurf@noris.de
 Meelis Roos                         mroos@tartu.cyber.ee
 Michael ???                         michael@roka.net