add David B

diff --git a/THANKS b/THANKS
index 83696a70c6cb5d232d291548a61d1b56101b3448..98c05e8a7f5b5b71ec86f7fa8cd84f4d082bb824 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -20,6 +20,7 @@ Mike Amundsen
 BUG HUNTERS/SUGGESTIONS
 
 Benjamin Drung
+David Bobroff
 Cameron Horsburgh
 Maarten Hijzelendoorn 
 Phillip Kirlin