Bug#1132297: retireing gnome-shell-extensions-extra

[Daniel Baumann]

On 5/13/26 14:56, Simon McVittie wrote:

Instead of removing gnome-shell-extensions-extras immediately, perhaps it would make sense to turn it into an empty transitional package

yes, I though so too, after I've send the mail :)

Regards,
Daniel