mozilla/servo — pull request #1388 by hyunjunekim (2013-12-12 04:25:21+00:00)
Title: Fixed this issue (https://github.com/mozilla/rust/issues/10683)

Fixed this issue ( https://github.com/mozilla/rust/issues/10683 )