7 Apr
2017
7 Apr
'17
10:03 a.m.
Hi all, I have started this branch to experiment with some optimizations regarding peak memory and index size reduction. Compared to trunk this branch produces different output, and I am not yet sure if that is good or bad, so use with care. Gerd