]> git.lizzy.rs Git - rust.git/commitdiff
Rollup merge of #107808 - kadiwa4:built-unsuccessfully, r=albertlarsan68
authorMatthias Krüger <matthias.krueger@famsik.de>
Thu, 9 Feb 2023 10:21:58 +0000 (11:21 +0100)
committerGitHub <noreply@github.com>
Thu, 9 Feb 2023 10:21:58 +0000 (11:21 +0100)
bootstrap.py: fix build-failure message

A small mistake I did.
Corrects #107470, fixes #107804

r? `@albertlarsan68` (since you reviewed the last one)

1  2 
src/bootstrap/bootstrap.py

Simple merge