On Sun, Sep 20, 2015 at 10:59 AM, David Edmundson < [email protected]> wrote:
> > I said that number but wrt "GTK" not "Gnome" > Oops, my apologies then. Somehow I've interchanged them in my memory. Cheers -- Martin Klapetek | KDE Developer
_______________________________________________ kde-community mailing list [email protected] https://mail.kde.org/mailman/listinfo/kde-community
