I am busy packaging the new release and should have it uploaded to sid by the end of next week. I will check if it fixes this bug
On 01 Jan 2018, 13:39, at 13:39, Paul Wise <p...@debian.org> wrote: >On Mon, 01 Jan 2018 19:27:47 +0800 Paul Wise wrote: > >> This extension is not compatible with gnome-shell 3.26 and >> this prevents it from being loaded on Debian buster/sid: > >Actually, it looks like the incorrect metadata issue is irrelevant to >the loading of gnome-shell extensions, but this extension is still not >being loaded by gnome-shell 3.26 on Debian buster/sid. > >-- >bye, >pabs > >https://wiki.debian.org/PaulWise
