retitle 1115526 retireing gnome-shell-extensions-extra
retitle 1132297 retireing gnome-shell-extensions-extra
forcemerge 1115526 1132297
tag 1115526 + pending
tag 1132297 + pending
rettile 1132797 updating vertical-workspaces
tag 1132797 + pending
Hi,
gnome-shell-extensions-extras is being retired in favour of individual
packages of each extensions, so I've uploaded them individually like
initial done in 2023 (6 packages, currently in NEW).
The past two debian releases have show that it's not sustainable to
maintain (#1030683) a few gnome-shell-extensions like that and moving
*all* gnome-shell-extensions into one source package seems not sensical
either.
Once they leave NEW, I'll ask for the removal of
gnome-shell-extensions-extras.
Regards,
Daniel
