Michael Albinus <michael.albinus@gmx.de> writes:

> Hi Thierry,
>
>> It works, and I can reproduce the problem. Now debugging.
>
> With the appended patch, it works for me on your machine. Could you pls check?

I confirm it works, great! Thanks!

-- 
Thierry