add comment about keeping flags in sync between bootstrap.py and bootstrap.rs#118650

Merged

bors merged 1 commit intorust-lang:masterfrom RalfJung:flags-sync

Dec 6, 2023

+2

Commits on Dec 5, 2023

add comment about keeping flags in sync between bootstrap.py and bootstrap.rs
RalfJung
committed