Michael Albinus <[email protected]> writes: Hi,
>>> I've compiled a small patch which should make this happen. Would you >>> like to check? >> >> Seems to work well here, thanks! > > Thanks for the feedback. I ran in parallel regression tests, there are > some glitches. Will fix them before I can push. Fixed now. Pushed to the repositories. Best regards, Michael.
