[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: correctly placed @part before @node can be in ignored Top node
From: |
Patrice Dumas |
Subject: |
Re: correctly placed @part before @node can be in ignored Top node |
Date: |
Sat, 9 Apr 2022 23:40:03 +0200 |
On Fri, Apr 08, 2022 at 04:19:41PM +0100, Gavin Smith wrote:
> On Fri, Apr 08, 2022 at 05:02:11PM +0200, Patrice Dumas wrote:
> >
> > Should I try to stop ignoring at the first @part?
>
> Yes please.
It is done. There are no test cases for the cases that could lead to
bad output, let's look at that when it happens for real, as it is not
clear if this can happen for real.
--
Pat