Michael Eischer c66a0e408c checker: Reduce cost of debug log
Avoid duplicate allocation of the Subtree list.
2020-07-20 22:37:31 +02:00
..
2017-07-23 14:19:13 +02:00
2020-07-20 22:37:31 +02:00