[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