@seb128: The bug was fixed upstream for GNOME 3.36.2. Would it be possible for you to pull the change into Ubuntu's package so that it's available for the 20.04 release? It looks like a pretty small change to me.
@seb128: The bug was fixed upstream for GNOME 3.36.2. Would it be possible for you to pull the change into Ubuntu's package so that it's available for the 20.04 release? It looks like a pretty small change to me.