On Fri, Feb 8, 2019 at 11:03 AM Michael Catanzaro <[email protected]> wrote: > Shall we rename WebKitGTK+ to WebKitGTK? I think so?
+1 _______________________________________________ webkit-gtk mailing list [email protected] https://lists.webkit.org/mailman/listinfo/webkit-gtk
