Author: ais523

Description:
Robots.txt currently has

Disallow: /wiki/Wikipedia:Protected_titles/

but unlike all the other entries,

Disallow: /wiki/Wikipedia%3AProtected_titles/

seems to have been accidentally missed out from the file, meaning that the robots.txt crawlproofing of these pages isn't as watertight as it could be; could a dev fix this, please?

Version: unspecified
Severity: minor
URL: http://en.wikipedia.org/robots.txt