Correct wildly inaccurate description of a change.

Bots were not given the right to edit protected pages; rather the ability to do so was created.

diff --git a/RELEASE-NOTES b/RELEASE-NOTES
index dc764fc..914c0df 100644 (file)
--- a/RELEASE-NOTES
+++ b/RELEASE-NOTES
@@ -30,7 +30,9 @@ it from source control: http://www.mediawiki.org/wiki/Download_from_SVN
   article. This is so that readers who don't know what a red link is aren't 
   confused when they are told they are range-blocked.
 * One can turn off syndicatino feeds by setting $wgFeed to false
-* (bug 13137) Bots now able to edit protected pages.
+* (bug 13137) Allow setting 'editprotected' right separately from 'protect',
+  so groups may optionally edit protected pages without being able to protect
+  pages themselves
 
 === Bug fixes in 1.13 ===