If you want to discuss the idea, head over to https://github.com/servo/servo/issues/6041 .
-- Simon Sapin _______________________________________________ dev-servo mailing list [email protected] https://lists.mozilla.org/listinfo/dev-servo
Please delay landing any PR in servo/servo until
https://github.com/servo/servo/pull/6174 gets reviewed and merged.
- [dev-servo] Tree closed for line length reduction (!) Simon Sapin
