-
Georges Racinet authored
This is a workaround, the TODO explains what should be done. Some other cases of intentionally pruning a topic should also be considered.
9a3a8af4a8b3
This is a workaround, the TODO explains what should be done. Some other cases of intentionally pruning a topic should also be considered.