Thank you for your bug report, do you think you could open a bug on bugzilla.gnome.org with your patch too?
Thank you for your bug report, do you think you could open a bug on bugzilla.gnome.org with your patch too?