Bug#971977: debian-policy: debian/changelog date syntax description inconsistent/ambiguous wrt. to day of month
Hi!
On Mon, 2020-10-12 at 11:35:22 +0200, Axel Beckert wrote:
> Guillem Jover wrote:
> > Right. I've clarified this now locally for deb-changelog(5) as follows:
> > +Is a one- or two-digit day of the month (B<01>-B<31>), where the heading
> ^^^^^^^
> > +zero is optional, but conventionally does not get omitted.
> [...]
> > Any line that consists entirely (i.e., no leading whitespace) of B<#>
> ^^^^^^^
> > or B</* */> style comments or RCS keywords.
>
> You once use "heading" and once "leading". Is this on purpose? At
> least for "whitespace" the term "leading whitespace" seems to be the
> common one, so I'm not sure if "heading zero" is really a proper
> term. (But then again, English is not my mother tongue and I might be
> wrong here.)
Ah, thanks! I did actually doubt about that word usage, but didn't
notice the other instance after a very brief scan. :) I've amended this
now locally.
Thanks,
Guillem
Reply to: