mozilla/servo — pull request #2043 by Manishearth (2014-04-05 08:43:45+00:00)
Title: make attr getters/setters case insensitive (#1962)

(See https://github.com/mozilla/servo/pull/1968)