Skip to content

renovate: don't update PRs in the merge queue#159294

Merged
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
marcoieni:renovate-stop-updating
Jul 15, 2026
Merged

renovate: don't update PRs in the merge queue#159294
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
marcoieni:renovate-stop-updating