robots.txt on dvcs.w3.org and w3.org

Hi,

http://dvcs.w3.org/robots.txt disallows all robots except W3C-checklink.  
http://www.w3.org/robots.txt disallows all robots for /Bugs/. This makes  
it hard to find specs on dvcs.w3.org and bugs on w3.org/Bugs/ with search  
engines. Can this be changed, please?

-- 
Simon Pieters
Opera Software

Received on Wednesday, 11 July 2012 11:50:54 UTC