On Mon, Jun 28, 2010 at 12:55 PM, Russ Allbery <rra@debian.org> wrote:
Many years later, I'm now applying the following patch to Policy for the
next release, which spells out the existing naming convention more
explicitly. Thanks!
Thanks! I appreciate the follow-up. After I saw your 3.9.0.0 policy update email, I made a note to go looking for this bug... and you beat me to it. :)