mozilla/servo — pull request #559 by tkuehn (2013-07-04 03:45:19+00:00)
Title: fixed fallout from the recent rust update afflicting the profiler

r? @metajack this includes the rust-azure pointer change