Added Domenico Andreoli for his patches

diff --git a/RELEASE-NOTES b/RELEASE-NOTES
index 3fbde6c5de149c977e7f58573913b95e7e71961a..bbe8155a668e633e11e738a7a1b3a70234762fac 100644 (file)
--- a/RELEASE-NOTES
+++ b/RELEASE-NOTES
@@ -68,6 +68,6 @@ advice from friends like these:
  Kimdon, Dominick Meglio, Markus Moeller, Giuseppe Attardi, James MacMillan,
  Neil Spring, Siddhartha Prakash Jain, Jon Turner, Vincent Bronner, Shard,
  Jeremy Friesner, Florian Schoppmann, Neil Dunbar, Frank Ticheler, Lachlan
- O'Dea, Dirk Manske
+ O'Dea, Dirk Manske, Domenico Andreoli
  
         Thanks! (and sorry if I forgot to mention someone)