mozilla/servo — pull request #2466 by sankha93 (2014-05-20 19:40:59+00:00)
Title: Implement delete proxy trap

See #2213