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. Regards, Vincent -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
