On Thu, Mar 4, 2021 at 11:15 PM Joseph Mingrone <jrm@ftfl.ca> wrote:
> With this patch applied to 20596a5, I still see the problems Vitalie
> reported.

Strange, I don't see how I managed to convince myself it works here.
Anyway, this should work.

Pip