Auto merge of #12963 - lochetti:fix_12874, r=Centri3 #4283

Job	Run time
changelog	4s
integration_build	1m 34s
base (ubuntu-latest, x86_64-unknown-linux-gnu)	4m 40s
metadata_collection	1m 36s
base (ubuntu-latest, i686-unknown-linux-gnu)	5m 16s
base (windows-latest, x86_64-pc-windows-msvc)	6m 11s
base (macos-13, x86_64-apple-darwin)	4m 20s
integration (matthiaskrgr/clippy_ci_panic_test)	28s
integration (rust-lang/cargo)	2m 59s
integration (rust-lang/chalk)	2m 42s
integration (rust-lang/rustfmt)	59s
integration (Marwes/combine)	1m 0s
integration (Geal/nom)	42s
integration (rust-lang/stdarch)	32s
integration (serde-rs/serde)	58s
integration (chronotope/chrono)	36s
integration (hyperium/hyper)	38s
integration (rust-random/rand)	43s
integration (rust-lang/futures-rs)	54s
integration (rust-itertools/itertools)	46s
integration (rust-lang-nursery/failure)	29s
integration (rust-lang/log)	35s
bors test finished	1s
bors test finished	0s
	38m 43s

Provide feedback