servo/servo — pull request #2947 by Ms2ger (2014-07-29 11:29:06+00:00)
Title: Implement the delete proxy trap (fixes #2213).

Requires .