The request has been made upstream on https://bugzilla.gnome.org/show_bug.cgi?id=747802 but there has be no activity there since it was reported
The request has been made upstream on https:/ /bugzilla. gnome.org/ show_bug. cgi?id= 747802 but there has be no activity there since it was reported