servo/servo — pull request #4147 by jdm (2014-11-29 05:18:41+00:00)
Title: Fix the panic on runnig with --devtools due to a change in how type_id g...

...ets resolved since the last rustc upgrade.