On Sun, 27 Aug 2023 at 18:21, Jeremy Bícha <jeremy.bicha@canonical.com> wrote: > 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. I marked gnome-shell-extension-dashtodock urgent and it has migrated, thanks.