Skip to content

Conversation

RalfJung
Copy link
Member

@RalfJung RalfJung commented May 2, 2024

No description provided.

@RalfJung
Copy link
Member Author

RalfJung commented May 2, 2024

@bors r+

@bors
Copy link
Contributor

bors commented May 2, 2024

📌 Commit dc1709a has been approved by RalfJung

It is now in the queue for this repository.

@bors
Copy link
Contributor

bors commented May 2, 2024

⌛ Testing commit dc1709a with merge 4723bed...

@bors
Copy link
Contributor

bors commented May 2, 2024

☀️ Test successful - checks-actions
Approved by: RalfJung
Pushing 4723bed to master...

1 similar comment
@bors
Copy link
Contributor

bors commented May 2, 2024

☀️ Test successful - checks-actions
Approved by: RalfJung
Pushing 4723bed to master...

@bors bors merged commit 4723bed into rust-lang:master May 2, 2024
@RalfJung RalfJung deleted the tb-protectors branch May 3, 2024 05:45
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.

2 participants