mozilla/servo — pull request #1247 by saneyuki (2013-11-13 11:29:21+00:00)
Title: Rename main/layout/aux.rs -> main/layout/extra.rs. (Fix #1226)

@metajack ?