Thanks for the patch Nicolò, can you forward it upstream to hear their take on it? Please see https://wiki.ubuntu.com/Bugs/Upstream/GNOME for more details on forwarding to GNOME upstream.
Thanks for the patch Nicolò, can you forward it upstream to hear their take on it? Please see https:/ /wiki.ubuntu. com/Bugs/ Upstream/ GNOME for more details on forwarding to GNOME upstream.