The upstream reporter stated at https://bugzilla.gnome.org/show_bug.cgi?id=536088 that the issue is fixed for him; that is why they closed the bug (and accordingly, we did). Please comment on that upstream bug, since this is where the developers will read it. Thanks.
The upstream reporter stated at https:/ /bugzilla. gnome.org/ show_bug. cgi?id= 536088 that the issue is fixed for him; that is why they closed the bug (and accordingly, we did). Please comment on that upstream bug, since this is where the developers will read it. Thanks.