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!
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!