Mike, yes I am already registered with the Gnome Bugzilla, which helps :-)
The bug has now been reported upstream and you can follow its progress here: https://bugzilla.gnome.org/show_bug.cgi?id=617058
You will also find attached a small python script I used as an action command to reproduce the problem, as explained in the upstream bug report.
Mike, yes I am already registered with the Gnome Bugzilla, which helps :-)
The bug has now been reported upstream and you can follow its progress here: https:/ /bugzilla. gnome.org/ show_bug. cgi?id= 617058
You will also find attached a small python script I used as an action command to reproduce the problem, as explained in the upstream bug report.