servo/servo — pull request #3119 by seanmonstar (2014-08-20 03:58:00+00:00)
Title: deinit rustc on travis builds

fixes #2680