3 ms·Consider filing Gnome bugs at https://bugzilla.gnome.org/ https://bugzilla.gnome.org/, not on HN.by Skalman 13y agoConsider filing Gnome bugs at https://bugzilla.gnome.org/ https://bugzilla.gnome.org/, not on HN.