I'm the reported of the GNOME bugzilla bug, and the confirmation came from another person. This should be confirmed in the GNOME bugzilla, but while some GNOME developers are very responsive to bugzilla reports, others are not as available. I'll ping Tomas in the bugzilla about this.
I'm the reported of the GNOME bugzilla bug, and the confirmation came from another person. This should be confirmed in the GNOME bugzilla, but while some GNOME developers are very responsive to bugzilla reports, others are not as available. I'll ping Tomas in the bugzilla about this.