Handle race when coloring nodes concurrently as both green and red#151509

rust-bors[bot] merged 1 commit intorust-lang:mainrust-lang/rust:mainfrom

Zoxc:gen-color-raceZoxc/rust:gen-color-raceCopy head branch name to clipboard