Control: found 919953 1.0~beta20-1 Control: severity 919953 important On Sun, 20 Jan 2019 22:19:01 +0000 Ian Jackson <ijack...@chiark.greenend.org.uk> wrote: > According to Debian policy file conflicts should be resolved by no-one > using the conflicting name. This applies to /usr/bin/dune. > > Additionally, the only referent of `dune' that anyone has heard of > (eg, wikipedia) is a C++ library which we have in Debian as > `src:dune-commmon', `libdune*-dev', etc. > > It is evident from actions taken in response to #916468 that the you > (the maintainers of what is current `src:dune') do not agree. > > Instead, it seems to me that you ahead and took the name despite a > fairly clear consensus in debian-devel that you shouldn't. I don't > think you should have done that. > > I am escalating this to the Technical Commitee in another bug. In the > meantime this bug needs to be open to keep this out of testing.
That TC bug got closed without the need for a resolution from the TC. Hence, I don't consider this bug to qualify as RC anymore. (I personally wouldn't mind if the *package* dune got renamed, but we shouldn't do that before the buster release.) Paul
signature.asc
Description: OpenPGP digital signature