Michael Albinus <[email protected]> writes:

> Good catch! I've pushed a fix to the repositories, could you pls check?

I tried your fix from master and it works perfectly.  Thanks!

Reply via email to