https://github.com/servo/servo/pull/19900
On Tue, Jan 30, 2018 at 1:27 AM, Patrick Walton <pwal...@mozilla.com> wrote: > Let's get rid of it. > > Patrick > > On Jan 29, 2018 4:22 PM, "Paul Rouget" <p...@mozilla.com> wrote: >> >> AFAIK the CEF port is not used by anyone, is not maintained, and is >> not tested. I'm not even sure it works. >> >> I believe the CEF port should be a 3rd party project, and it should >> not rely on Glutin. >> >> Dropping CEF would help me with my work on unforking Glutin. >> >> Any reason to keep CEF? >> _______________________________________________ >> dev-servo mailing list >> dev-servo@lists.mozilla.org >> https://lists.mozilla.org/listinfo/dev-servo _______________________________________________ dev-servo mailing list dev-servo@lists.mozilla.org https://lists.mozilla.org/listinfo/dev-servo