Updated THANKS

diff --git a/THANKS b/THANKS
index a0804e3114537c8c992d596c3b081ddc99a6d99c..cf776c6cc90a04810db66def86efb020159c1d28 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -113,6 +113,7 @@ Ram
 Rich Wales             richw@webcom.com
 Rob Savoye             rob@cygnus.com
 Robert Bihlmeyer       robbe@orcus.priv.at
+Robert Boehne          rboehne@ricardo-us.com
 Rusty Ballinger                rusty@rlyeh.engr.sgi.com
 Seth Alves             alves@hungry.com
 Shuhei Amakawa         <sa264@cam.ac.uk>