Hello again,
I sent a patch for this bug to a GNOME Bugzilla report at https://bugzilla.gnome.org/show_bug.cgi?id=636587. As far as I understand this is the best way to do it.
Bye.
Hello again,
I sent a patch for this bug to a GNOME Bugzilla report at https:/ /bugzilla. gnome.org/ show_bug. cgi?id= 636587. As far as I understand this is the best way to do it.
Bye.