Skip to content

Update branch name for new bors#94

Merged
Kobzol merged 1 commit intorust-lang:masterfrom
Kobzol:bors
Mar 10, 2026
Merged

Update branch name for new bors#94
Kobzol merged 1 commit intorust-lang:masterfrom
Kobzol:bors

Conversation

@Kobzol
Copy link
Member

@Kobzol Kobzol commented Mar 10, 2026

I knew I forgot about something.. 😆

Closes: #90

@Kobzol Kobzol merged commit b8f8530 into rust-lang:master Mar 10, 2026
1 check passed
@Kobzol Kobzol deleted the bors branch March 10, 2026 14:34
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Update RLA for new bors once it is used

2 participants