bootstrap.py: fix duplicated "the"#155262

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

DanielEScherzer:bootstrap-duplicate-theDanielEScherzer/rust:bootstrap-duplicate-theCopy head branch name to clipboard