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
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