feature request #9643
Updated by Andreas Müller almost 3 years ago
copied from #8476, #8776 and #8474 (and #8776, not really mentioned there) But as there are 3 flags there is a larger number of possible combination so not sure if this makes really sense. And term trees are not created so often, so maybe not so important.