On 08/02/17 22:31, Jack Moffitt wrote:
Let's allow until Friday afternoon for feedback to come in, but I don't think it makes sense to delay this decision.
I approved https://github.com/servo/servo/pull/15447 and it has already landed. Oh well.
I’ve pushed a new branch to https://github.com/servo/rust-selectors and made it the default. It only has a readme file that says the source is now at https://github.com/servo/servo/tree/master/components/selectors. The master branch and issue / PR tracker is still there if we need it.
-- Simon Sapin _______________________________________________ dev-servo mailing list dev-servo@lists.mozilla.org https://lists.mozilla.org/listinfo/dev-servo
