Skip to content

Conversation

@taiki-e
Copy link
Member

@taiki-e taiki-e commented Jun 23, 2022

@taiki-e
Copy link
Member Author

taiki-e commented Jun 23, 2022

bors r+

@bors
Copy link
Contributor

bors bot commented Jun 23, 2022

Build succeeded:

@bors bors bot merged commit f12133c into master Jun 23, 2022
@bors bors bot deleted the taiki-e/next branch June 23, 2022 15:43
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Development

Successfully merging this pull request may close these issues.

1 participant