Published Pages are set to private after saving

[matthijs]

Using the Role Manager plugin I have system that users are only allowed to edit their own pages. After the upgrade to 2.5 a bug was introduced: when a user logs in and edits his page, it is set to "Private", even though it used to be "Published". That cannot be undone by the user. Only the admin can change back the status to published. According to the author of the plugin, the bug is in the core, somewehre around line 67-75
​http://trac.wordpress.org/changeset?old_path=tags%2F2.3.3%2Fwp-admin%2Fedit-page-form.php&old=7641&new_path=tags%2F2.5%2Fwp-admin%2Fedit-page-form.php&new=7641

"If you look for red line number 67 you can see the check against “publish_pages”. The new code - green line 75 - makes a wrong check, because this is a check for “publish_posts”. This is the reason, why I’m so sure the failure is in the core and not in the Role Manager."

[ryan]

(In [7750]) Check publish_pages capability, not publish_posts. Props matthijs. fixes #6777 for trunk

[ryan]

(In [7751]) Check publish_pages capability, not publish_posts. Props matthijs. fixes #6777 for 2.5