[webkit-gtk] WebKitGTK+ name

Jeremy Bicha jbicha at ubuntu.com
Fri Feb 8 17:12:01 PST 2019


On Fri, Feb 8, 2019 at 11:03 AM Michael Catanzaro <mcatanzaro at igalia.com> wrote:
> Shall we rename WebKitGTK+ to WebKitGTK? I think so?

+1


More information about the webkit-gtk mailing list