Nicholas Nethercote 659b758be7 Make DepNodeColor tri-value.
Currently it's binary, either `Green` or `Red`. But it's almost always
used within an `Option`. So it's a bit neater, and possibly slightly
faster, to make it tri-value with `Unknown` as a first-class variant.
2025-10-07 09:37:45 +11:00
..
2025-10-07 09:37:45 +11:00
2025-07-31 14:19:27 +02:00
2025-09-08 15:07:12 -07:00