#25: Initial branch using the #28 and #26 fix AND with --no-trees took 15 minutes 23 seconds Second branch took 0.7 seconds (since it does not have to do anything ;-)
#25: Initial branch using the #28 and #26 fix AND with --no-trees took 15 minutes 23 seconds
Second branch took 0.7 seconds (since it does not have to do anything ;-)