Hi, should gnome-shell-extension-ubuntu-dock 87ubuntu2 have already migrated from mantic-proposed? I'm assuming this process is automatic. Thanks.
Hi, should gnome-shell- extension- ubuntu- dock 87ubuntu2 have already migrated from mantic-proposed? I'm assuming this process is automatic. Thanks.