mozilla/servo — pull request #1453 by SimonSapin (2014-01-03 10:13:57+00:00)
Title: Remove a dead function.

Turns out it wasn’t actually used anymore.