Merge branch 'jneeman' of git+ssh://jneem@git.sv.gnu.org/srv/git/lilypond into jneeman

[lilypond.git] / THANKS

diff --git a/THANKS b/THANKS
index 83696a70c6cb5d232d291548a61d1b56101b3448..94f71d220862707fa81e5ac1e13ccec350fe9f8e 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -20,8 +20,10 @@ Mike Amundsen
 BUG HUNTERS/SUGGESTIONS
 
 Benjamin Drung
+David Bobroff
 Cameron Horsburgh
 Maarten Hijzelendoorn 
+Matthijs Frankeno
 Phillip Kirlin
 Rick Hansen
 Thomas Scharkowski