RELEASE-NOTES: synced

Removed duplicate after contributors.sh fix: 9967c10b6daa1

diff --git a/RELEASE-NOTES b/RELEASE-NOTES
index 9536d6d2c67bc6c1137063d3c0c069d3fbdefe63..40668fe6cd127956ac8a08069290bbf92679fa18 100644 (file)
--- a/RELEASE-NOTES
+++ b/RELEASE-NOTES
@@ -131,13 +131,13 @@ advice from friends like these:
   Ikko Ashimine, Joel Depooter, John Sherrill, Jon Rumsey,
   jvreelanda on github, Karthikdasari0423 on github, Lorenzo Miniero,
   Luca Niccoli, Marc Hörsken, Mark Gaiser, Michael Drake, Michael Kaufmann,
-  Mikhail Kuznetsov,  MonkeybreadSoftware on github,
-  MonkeybreadSoftware on github, Nathan Moinvaziri, Oskar Sigvardsson,
-  Patrick Monnerat, Patrick Schlangen, Peter Piekarski, Philip Chan,
-  Philip Heiduck, Randall S. Becker, Ray Satiro, Ryan Schmidt, Sean McArthur,
-  Stefan Eissing, Stephan Guilloux, Stuart Henderson, Thomas Glanzmann,
-  Trail of Bits, Viktor Szakats, xianghongai on github, Zespre Schmidt
-  (61 contributors)
+  Mikhail Kuznetsov, MonkeybreadSoftware on github, Nathan Moinvaziri,
+  Oskar Sigvardsson, Patrick Monnerat, Patrick Schlangen, Peter Piekarski,
+  Philip Chan, Philip Heiduck, Randall S. Becker, Ray Satiro, Ryan Schmidt,
+  Sean McArthur, Stefan Eissing, Stephan Guilloux, Stuart Henderson,
+  Thomas Glanzmann, Trail of Bits, Viktor Szakats, xianghongai on github,
+  Zespre Schmidt
+  (60 contributors)
 
 References to bug reports and discussions on issues: