On Wed, Dec 9, 2020 at 12:40 PM Bill Allombert <ballo...@debian.org> wrote:
> On Wed, Dec 09, 2020 at 12:00:23PM -0500, Dave Steele wrote: > > /usr/bin/todo is not registered as an alternative by devtodo, > so you cannot register it as an alternative in another package. > The conflict between devtodo and topydo is not justified. > Well, OK, but that's not the issue this bug introduced. > I would have preferred a discussion on #976402 in advance of an RC bug > > report. > > Sorry, policy does not work that way. A policy proposal never delays a RC > bug. > I thought we were having an active discussion on the validity of the policy claim. That discussion is moot?
