On Wed, May 13, 2026 at 11:05 AM Daniel Baumann <[email protected]> wrote: > Simon reported this already (#1136412), also no need to fill further bug > reports for the other broken-out extensions from > gnome-shell-extensions-extra (I'll take care about all of them in one go).
Thanks. Yes, I wasn't planning on filing additional bugs for this issue. Jeremy Bícha
