https://github.com/servo/servo/pull/19900
On Tue, Jan 30, 2018 at 1:27 AM, Patrick Walton <[email protected]> wrote: > Let's get rid of it. > > Patrick > > On Jan 29, 2018 4:22 PM, "Paul Rouget" <[email protected]> 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 >> [email protected] >> https://lists.mozilla.org/listinfo/dev-servo _______________________________________________ dev-servo mailing list [email protected] https://lists.mozilla.org/listinfo/dev-servo
