It already has been fixed by the GNOME guys. That fix is coming to Ubuntu 20.04 in the coming days/weeks.
It already has been fixed by the GNOME guys. That fix is coming to Ubuntu 20.04 in the coming days/weeks.