Last modified: 2007-09-12 22:16:37 UTC
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?
Done.