mozilla/servo — pull request #1048 by ttaubert (2013-10-12 18:49:03+00:00)
Title: Remove View type parameter from DocumentType

This should fix #1046.