robots.txt broken?

[Denis-de-Bernardy]

wp-trunk, no plugins, 2010 theme. visiting this url:

​http://localhost/~denis/wp-trunk/robots.txt

results in a 404. It seems like the query parser broke at some point:

		$this->query_vars = $this->fill_query_vars($this->query_vars);
		$qv = &$this->query_vars;
var_dump($query, $this->query_vars);
		if ( ! empty($qv['robots']) )
			$this->is_robots = true;

results in:

array(1) {
  ["pagename"]=>
  string(10) "robots.txt"
}
array(43) {
  ["pagename"]=>
  string(10) "robots.txt"
...

[nacin]

This is expected behavior. [14273]