There is now a patch for this issue in the upstream bug tracker: https://bugzilla.gnome.org/show_bug.cgi?id=601514#c3
There is now a patch for this issue in the upstream bug tracker: /bugzilla. gnome.org/ show_bug. cgi?id= 601514# c3
https:/