fwd, seems not to have made it to the bts -------- Forwarded Message -------- Subject: Re: Bug#1030683: gnome-shell-extensions-extra: unmaintainable Date: Tue, 7 Feb 2023 00:49:42 +0100 From: Daniel Baumann <[email protected]> Reply-To: [email protected] To: Jeremy Bícha <[email protected]> CC: Thorsten Alteholz <[email protected]>, [email protected], Thorsten Alteholz <[email protected]>
Hi Jeremy, first of all: I'm the user of the extensions I've uploaded, so I care that they are "apt install"-able and just followed what I've been told to comply and make that possible.. I'll happily adjust the packaging again to whatever is the consense here. On 2/6/23 23:55, Thorsten Alteholz wrote: >> - There is a namespace concern. Sorry, didn't mean to intrude. I've used what seemed most sensible to me. Do you have any suggestions/ preferences to what I should rename it to? Regards, Daniel
