fwd, seems not to have made it to the bts -------- Forwarded Message -------- Subject: Re: Bug#1030683: gnome-shell-extensions-extra: unmaintainable Date: Mon, 6 Feb 2023 17:01:27 +0100 From: Daniel Baumann <[email protected]> Reply-To: [email protected] To: Jeremy Bícha <[email protected]>, Thorsten Alteholz <[email protected]> CC: [email protected], Thorsten Alteholz <[email protected]>
Hi Jeremy On 2/6/23 14:22, Jeremy Bícha wrote: > gnome-shell-extensions-extra is a new collection of 6 different source > packages bundled into a single source package with a single binary > package. I've uploaded them packaged as separate src packages producing the usual binary package as all the other gnome-shell extensions are packaged, however, ftp-master insisted doing one source package producing one binary package. Thorsten: please advise on how to go forward. Should I re-upload them as seperate packages again and we remove gnome-shell-extensions-extras? Regards, Daniel
