Check rustdoc-json-types FORMAT_VERSION is correctly updated#142875

bors merged 1 commit intorust-lang:masterrust-lang/rust:masterfrom

GuillaumeGomez:rustdoc-json-types-version-updateGuillaumeGomez/rust:rustdoc-json-types-version-updateCopy head branch name to clipboard