Re: authz changes between 1.9 and 1.10

Branko Čibej wrote:
> On 05.12.2018 14:44, Julian Foad wrote:
> > Branko Čibej wrote:
> >> Yes, but I'm asking for a review of the BNF to make sure that it doesn't
> >> contain silly bugs.
> > At first glance, I saw what looks like a bug: it says a comment must have a non-white-space immediately after the '#'... I didn't review further.
>
> The <text> production used imply "optional". I already fixed that and
> how the comment definition reads:
>
> <comment> ::= "#" <opt-text> <line-end>

The problem is <opt-text> isn't allowed to start with whitespace.

-- 
- Julian