Closed urschrei closed 1 year ago
bors r+
Build succeeded!
The publicly hosted instance of bors-ng is deprecated and will go away soon.
If you want to self-host your own instance, instructions are here. For more help, visit the forum.
If you want to switch to GitHub's built-in merge queue, visit their help page.
Yes I just merged this PR without bumping the Cargo version numbers, why do you ask?
OK, I'm just going to push the updated Cargos straight to main
and tag that commit.
SGTM
[x] I added an entry to
CHANGES.md
if knowledge of this change could be valuable to users.