mozilla/servo — pull request #1302 by saneyuki (2013-11-22 18:33:06+00:00)
Title: Enable to update 'id' attribute for Document.getElementById().

#740