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

Reply via email to