On Fri, 19 May 2023 13:06:32 +0200, Omar Polo wrote:
> it's currently rendered as
>
> maildir [pathname [junk]]
>
> whereas it really is
>
> maildir [pathname] [junk]
>
> i.e. both the path and `junk' are optional but indipendently so. it's
> quite clear from the grammar in parse.y.
On 5/19/23 07:06, Omar Polo wrote:
> it's currently rendered as
>
> maildir [pathname [junk]]
>
> whereas it really is
>
> maildir [pathname] [junk]
>
> i.e. both the path and `junk' are optional but indipendently so. it's
> quite clear from the grammar in parse.y.
>
> ok?
>
> diff /
