mozilla/servo — pull request #1472 by brunoabinader (2014-01-08 19:33:49+00:00)
Title: Fix to avoid attribute name clash between Document/HTMLDocument

Use children() instead of traverse_preorder(), and avoid having
GetHead() in both Document and HTMLDocument.

Closes #1465.