On 24/05/15 09:21, Simon Sapin wrote:
Please delay landing any PR in servo/servo until https://github.com/servo/servo/pull/6174 gets reviewed and merged.If you want to discuss the idea, head over to https://github.com/servo/servo/issues/6041 .
It’s landed, the tree is open again. Thanks Corey! -- Simon Sapin _______________________________________________ dev-servo mailing list [email protected] https://lists.mozilla.org/listinfo/dev-servo
