[webkit-gtk] WebKitGTK+ name

[Michael Catanzaro]

On Fri, Feb 8, 2019 at 10:02 AM, Michael Catanzaro 
<mcatanzaro at igalia.com> wrote:
> Hi,
> 
> The GTK+ project has been renamed to GTK. i.e. they've dropped the +.
> 
> Shall we rename WebKitGTK+ to WebKitGTK? I think so?
> 
> Michael

Here's the discussion:

https://mail.gnome.org/archives/gtk-devel-list/2019-February/msg00000.html

CC: Lucas, who just kindly renamed our Bugzilla product from "WebKit 
Gtk" to "WebKitGTK+". Seems it was bad timing. :P

Michael