<div dir="ltr"><div>Dear GNOME package maintainers,<br><br></div>Are there any plans to push this fix [1] downstream to the current GNOME version packaged in Debian ?<br><div><br></div><div>Cheers,<br></div><div>Ghis<br></div><div><br>[1] <a href="https://git.gnome.org/browse/gnome-shell/commit/?id=d19e78a">https://git.gnome.org/browse/gnome-shell/commit/?id=d19e78a</a><br></div></div>