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 Tue, Jul 17, 2018 at 7:55 AM Paul Rouget <p...@mozilla.com> wrote: > > 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. _______________________________________________ dev-servo mailing list dev-servo@lists.mozilla.org https://lists.mozilla.org/listinfo/dev-servo
