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