Ticket #17234: 17234.patch

wp-includes/post.php

@@ -2455 +2455 @@
                 $post_before = get_post($post_ID);
         }
 
-        // Don't allow contributors to set to set the post slug for pending review posts
+        // Don't allow contributors to set the post slug for pending review posts
         if ( 'pending' == $post_status && !current_user_can( 'publish_posts' ) )
                 $post_name = '';