for is docs remarks

diff --git a/RELEASE-NOTES b/RELEASE-NOTES
index efb1f24..48c5ee9 100644 (file)
--- a/RELEASE-NOTES
+++ b/RELEASE-NOTES
@@ -42,6 +42,6 @@ advice from friends like these:
  Daniel Fandrich, Yang Tse, David James, Chris Deidun, Bill Egert,
  Andre Guibert de Bruet, Andreas Farber, Frank Hempel, Pierre Brico,
  Kamil Dudka, Jim Freeman, Daniel Johnson, Toshio Kuratomi, Martin Storsjo,
- Pramod Sharma, Gisle Vanem, Leanic Lefever
+ Pramod Sharma, Gisle Vanem, Leanic Lefever, Rainer Koenig
 
         Thanks! (and sorry if I forgot to mention someone)