Michael Albinus <[email protected]> writes:

> I've compiled a small patch which should make this happen. Would you
> like to check?

Seems to work well here, thanks!

Reply via email to