Hi David, I am sorry to see this bug with a few years of delay. I will have a look at your patch soon. Best, Vaclav
Hi David, I am sorry to see this bug with a few years of delay. I will have a look at your patch soon. Best, Vaclav