Thanks, but since Marco (probably prompted by discussing this bug, so it wasn't wasted) proposed taking the whole gnome-3-34 branch up until yesterday, which will include this same fix we won't need a separate upload.
« Back to merge proposal
Thanks, but since Marco (probably prompted by discussing this bug, so it wasn't wasted) proposed taking the whole gnome-3-34 branch up until yesterday, which will include this same fix we won't need a separate upload.