On Sat, Aug 26, 2023 at 6:31 AM Graham Inggs <ginggs@debian.org> wrote: > libmutter-11-0 is gone from testing and gnome-shell has migrated. Is > anything outstanding, or can we consider this transition done? This transition is done, but I think gnome-shell-extension-dashtodock is popular enough that it's helpful to hint 87+really84-1 in sooner. Thank you, Jeremy Bícha