10 Nov
2019
10 Nov
'19
10:52 a.m.
Hi all, I think the branch is ready for merge to trunk. If I hear no complains I'll merge it tomorrow. Gerd