Skip to content

Conversation

Urhengulas
Copy link
Member

No description provided.

@jamesmunns
Copy link
Contributor

Note: This is likely failing due to a spurious regression caused by this issue. Likely to be fixed tomorrow by the merge of this PR.

@Urhengulas
Copy link
Member Author

bors r+

@bors
Copy link
Contributor

bors bot commented May 21, 2021

Build succeeded:

@bors bors bot merged commit 43bcaa6 into main May 21, 2021
@bors bors bot deleted the releases branch May 21, 2021 12:38
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