less ambitious parallelism: more direct read/write saves overall heap space and GC time;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLEc606fddc5b05: slightly faster XML output: avoid too much regrowing of StringBuilder;
- Branches
- Unknown
- Tags