mozilla/servo — pull request #2824 by jgraham (2014-07-13 17:38:59+00:00)
Title: Make Element.remove_attribute take &str instead of DOMString

Something like this for #2792?