bors-servo 84f3cf22bf Auto merge of #13185 - nox:namespaces, r=jdm,Ms2ger ... Make console a namespace (fixes #13010) <!-- Reviewable:start --> This change is [<img src="https://reviewable.io/review_button.svg" height="34" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/servo/13185) <!-- Reviewable:end -->		2016-09-10 07:33:25 -05:00
..
meta	Auto merge of #13192 - notriddle:master, r=pcwalton	2016-09-08 23:17:06 -05:00
tests	Auto merge of #13185 - nox:namespaces, r=jdm,Ms2ger	2016-09-10 07:33:25 -05:00