RELEASE-NOTES: added recent contributors missing

diff --git a/RELEASE-NOTES b/RELEASE-NOTES
index 46e9c860176f2736f1b2fd7a3e675ccfebe683f4..89025bb5674cdc9c4ab184e31d1a3213d9093d71 100644 (file)
--- a/RELEASE-NOTES
+++ b/RELEASE-NOTES
@@ -66,7 +66,8 @@ advice from friends like these:
  Tor Arntsen, Will Dietz, Yi Huang, Kyle L. Huff, Steve Holme, Mike Mio,
  Stefan Neis, Nick Zitzmann, Geoff Beier, John Dunn, Jiri Hruska,
  Tomas Mlcoch, Kim Vandry, Ben Greear, Gorilla Maguila, Jerry Krinock,
- Yamada Yasuharu, Gordon Marler
+ Yamada Yasuharu, Gordon Marler, Dave Thompson, D. Flinkmann,
+ Benoit Sigoure, Clemens Gruber, Guenter Knauf, Petr Pisar
 
         Thanks! (and sorry if I forgot to mention someone)