servo/servo — pull request #3461 by mbrubeck (2014-09-23 18:48:35+00:00)
Title: Fix misc warnings in devtools crates

r? @jdm