thank you for your bug report and your work, maybe you could send the bug and change to bugzilla.gnome.org directly, it would make easier to comment directly there
thank you for your bug report and your work, maybe you could send the bug and change to bugzilla.gnome.org directly, it would make easier to comment directly there