Skip to content

Delete bors.toml in favor of GitHub merge queues#1037

Merged
michaelkirk merged 5 commits intomainfrom frewsxcv-patch-1Aug 21, 2023