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
