On 30 Jun 2020, at 11:39, jean laroche wrote:
> I believe you're right. The bug was mine.
But you had a difficult merge combining your changes with mine. Back
when I was gainfully employed handling merges was one of my jobs and I
know that it can be difficult.
Mike