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