Skip to content
This repository was archived by the owner on Nov 9, 2025. It is now read-only.

Conversation

@matklad
Copy link
Contributor

@matklad matklad commented Aug 24, 2020

bors r+
🤖

@bors
Copy link
Contributor

bors bot commented Aug 24, 2020

Build succeeded:

@bors bors bot merged commit af86e92 into master Aug 24, 2020
@bors bors bot deleted the constasync branch August 24, 2020 21:33
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Development

Successfully merging this pull request may close these issues.

2 participants