On 18 January 2014 06:35, Vincent Cheng <vch...@debian.org> wrote: > Control: tag -1 moreinfo > > Hi, > > Would you consider changing the name of the source package back to > zeroinstall-injector? This won't impact end users (the binary package > is 0install now; that's what end users will see, and that's what > they'd install), but it makes this transition less of a hassle if you > revert to the same source package name.
Done: https://mentors.debian.net/package/zeroinstall-injector Thanks, -- Dr Thomas Leonard http://0install.net/ GPG: 9242 9807 C985 3C07 44A6 8B9A AE07 8280 59A5 3CC1 GPG: DA98 25AE CAD0 8975 7CDA BD8E 0713 3F96 CA74 D8BA -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
