RELEASE-NOTES: 7.51.0

diff --git a/RELEASE-NOTES b/RELEASE-NOTES
index 21e1a639b389a24ce43f5af29d6a43dd99924d07..ead6c0b30459f59bcc8a1f6aab0f71cda883c634 100644 (file)
--- a/RELEASE-NOTES
+++ b/RELEASE-NOTES
@@ -2,9 +2,9 @@ Curl and libcurl 7.51.0
 
  Public curl releases:         160
  Command line options:         185
- curl_easy_setopt() options:   224
+ curl_easy_setopt() options:   225
  Public functions in libcurl:  61
- Contributors:                 1445
+ Contributors:                 1467
 
 This release includes the following changes:
 
@@ -85,13 +85,13 @@ advice from friends like these:
   Andrei Sedoi, Bernard Spil, Christian Heimes, Dan Fandrich,
   Daniel Gustafsson, Daniel Stenberg, Darío Hereñú, David Woodhouse,
   Fernando Muñoz, Gregory Szorc, Jeroen Ooms, Kamil Dudka, Luật Nguyễn,
-  lukaszgn on github, Marcel Raad, Martin Frodl, Martin Storsjo,
-  Martin Storsjö, Michael Kaufmann, Michael Osipov, Miloš Ljumović,
-  Nick Zitzmann, nopjmp on github, Paul Joyce, Rainer Müller, Ray Satiro,
-  Remo E, Rider Linden, Sebastian Mundry, Sergei Kuzmin, Stephen Brokenshire,
+  lukaszgn on github, Marcel Raad, Martin Frodl, Martin Storsjö,
+  Michael Kaufmann, Michael Osipov, Miloš Ljumović, Nick Zitzmann,
+  nopjmp on github, Paul Joyce, Rainer Müller, Ray Satiro, Remo E,
+  Rider Linden, Sebastian Mundry, Sergei Kuzmin, Stephen Brokenshire,
   Tobias Stoeckmann, Toby Peterson, Todd Short, Tony Kelman, Torben Dannhauer,
   Valentin David,
-  (41 contributors)
+  (40 contributors)
 
         Thanks! (and sorry if I forgot to mention someone)
 

diff --git a/docs/THANKS-filter b/docs/THANKS-filter
index 6eb6d5c9c8c455b3e8d5399420f9be48309180dc..1c6f3986b38cb84ec8c1b419992d64d29e166d2c 100644 (file)
--- a/docs/THANKS-filter
+++ b/docs/THANKS-filter
@@ -69,3 +69,4 @@ s/Joern Hartroth$/Jörn Hartroth/
 s/Hongli Lai (Phusion)$/Hongli Lai/
 s/github user 'kreshano'$/kreshano on github/
 s/Marc Hoersken$/Marc Hörsken/
+s/Martin Storsjo$/Martin Storsjö/