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 <m...@daniel-baumann.ch> Reply-To: m...@daniel-baumann.ch To: Jeremy Bícha <jeremy.bi...@canonical.com>, Thorsten Alteholz <deb...@alteholz.de> CC: 1030...@bugs.debian.org, Thorsten Alteholz <ftpmas...@ftp-master.debian.org>
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
