* Charles Plessy <plessy@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