mozilla/rust — pull request #9927 by chris-morgan (2013-10-18 13:30:41+00:00)
Title: Fix extra::url::to_str to include the port.

Fixes #9451.
Fixes chris-morgan/rust-http#16.