We'll wait until there is a stable release from upstream given that there are several other GNOME 3.36 issues the maintainer is dealing with
On Tue, 14 Apr 2020 at 23:39, <jnq...@gmail.com> wrote: > > apparently fixed in upstream master now, just needs packaging :)