Hi Andreas,
unfortunately, a selector-based solution didn't either yield a
terminating example.
If you like you can inspect the attached code, maybe I did get something
wrong.
I will resonsider this in approx. one week; maybe we have to raise the
question seriously how maintenance of
Hi Lukas,
thanks for the offer. We have still time before the next release to
work that out. Just give me a sign when you start to dig into this.
All the best,
Florian
Am 21.01.2017 um 18:33 schrieb Lukas Bulwahn:
> Hi Florian,
>
> I have been quite busy the last few days and hence
