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

> Could you pls check whether the appended patch works for you?

Could you send a git based patch? I don't know how to apply this one.

Thanks.

-- 
Thierry