On 2021-08-20 09:55, David Bremner writes: > The commit I mentioned is not in 0.32.3. Ah, sorry, I thought a release included what was in master at that time. I guess I should wait for 0.33? Best, Alan