Il Fri, 4 May 2018 14:19:42 +0300 Marius Gedminas <mar...@gedmin.as> scrisse:
> ... > I've checked https://gitlab.gnome.org/GNOME/gtk/issues briefly but > couldn't find an existing bug, so perhaps nobody has reported it > upstream. Hi, I think this bus is #710888 [1] that is already fixed in master. [1] https://bugzilla.gnome.org/show_bug.cgi?id=710888 Ciao. -- Nicola _______________________________________________ gtk-app-devel-list mailing list gtk-app-devel-list@gnome.org https://mail.gnome.org/mailman/listinfo/gtk-app-devel-list