>>> "KLG" == Kévin Le Gouguec <kevin.legouguec@gmail.com> writes:

> Uwe Brauer <oub@mat.ucm.es> writes:
>>>>> "KLG" == Kévin Le Gouguec <kevin.legouguec@gmail.com> writes:
>> 
>>> I've applied your fix on top of 281a0e26b; AFAICT it works as expected.
>> 
>> I applied the patch on top of e2fa3c4c4046b6,

> (Me too actually; 281a0e26b is the commit ID I got by applying Ihor's
> patch; apologies for the confusion)

Aha, well when I did that I obtained 5a3bb0df92717 😎