* Charles Plessy <ple...@debian.org> [250128 01:44]: > Hello everybody, > > How about debian/default or debian/devel?
Yes please do a few more changes to the names, so everybody can pick
whatever they like ("it was fine back then"), and everone who went
under a painful migration to the current scheme can either
experience that again or, better, will ignore whatever the DEP will
say in the future.
Chris
