Hi Michael,On Mon, 25 Jan 2021 at 09:51, Michael Albinus <[email protected]> wrote:
Give me some days in order to reproduce it. I'll work on it, when there's a free time slot.
No hurry from my part. And, again, if you have some ideas you'd me like to try here, where the issue does occur, I'll be glad to do it.
Best regards, Gustavo.
