Rollup merge of #72291 - RalfJung:format-typo, r=jonas-schievink
Rollup merge of #72291 - RalfJung:format-typo, r=jonas-schievink

bootstrap: fix typo

aidancully/rust,graydon/rust,aidancully/rust,graydon/rust,aidancully/rust,aidancully/rust,graydon/rust,aidancully/rust,graydon/rust,graydon/rust,graydon/rust,aidancully/rust