It's been nearly a month since we last merged from incoming to master. I realize one of the bots is down, but could we go ahead and do a merge anyway? The tree is green otherwise and check-fast should work now.

I worry that if we wait too long that incoming will become a de facto master. That's already the case for Servo, for example; Servo depends on features that are only in incoming.

Patrick
_______________________________________________
Rust-dev mailing list
[email protected]
https://mail.mozilla.org/listinfo/rust-dev

Reply via email to