13 Apr
2020
13 Apr
'20
8:09 p.m.
Hi
Do you have an example scenario that I could use for reproducing the problem at hand? I'd very much appreciate that.
Unfortunately not. I'm aware that under this circumstances your hands are pretty much tied. I keep you posted if I have more concise information either about the source of the problem or how to reproduce it in a "generally available setting"
I'm quite confident that I finally found the problem. I created an issue [1] and pushed a commit as an illustration of a possible fix.
Cheers, Roman