Changeset - r25505:83571b956494
master
0
2
0
Fix: Encountering two-way red signals could prune unrelated branches.
The intermediate node branch is now only pruned if the node is on the
path leading to the two-way red signal.
The intermediate node branch is now only pruned if the node is on the
path leading to the two-way red signal.
2 files changed with 7 insertions and 4 deletions:
0 comments (0 inline, 0 general)
0 comments (0 inline, 0 general)