Add comment that bors did not see pushed before it merged#128851

Merged

bors merged 1 commit intorust-lang:masterfrom

compiler-errors:validate-mir-opt-mir

Aug 9, 2024

Commits on Aug 8, 2024

Add comment that bors did not see pushed before it merged
compiler-errors
committed