Re: [dev-servo] Closing tree for a little while.

2018-07-17 Thread Paul Rouget
We are running into some issues [0], and it might take some time before we understand what's going on. Feel free to land PRs. We will notice the mailing list again before landing the Saltfs PR that might break future builds. [0]: https://github.com/servo/saltfs/pull/856#issuecomment-405474771 On

[dev-servo] Closing tree for a little while.

2018-07-16 Thread Paul Rouget
I'll be attempting to land a change in Saltfs (https://github.com/servo/saltfs/pull/856) that will break any future android builds until this Servo PR lands: https://github.com/servo/servo/pull/20912 Going to do that now, hope it won't take too long. ___