Here is the bug, it's minor, but it's good to be logged: https://bugzilla. gnome.org/show_bug.cgi?id=793893
_______________________________________________ gimp-gui-list mailing list gimp-gui-list@gnome.org https://mail.gnome.org/mailman/listinfo/gimp-gui-list
