Skip to content

Conversation

taiki-e
Copy link
Member

@taiki-e taiki-e commented Jul 5, 2022

@taiki-e taiki-e merged commit 2ebb94f into master Jul 5, 2022
@taiki-e taiki-e added the 0.3-backport: pending The maintainer accepted to backport this to the 0.3 branch, but backport has not been done yet. label Jul 5, 2022
@taiki-e taiki-e deleted the pin-project branch July 5, 2022 18:28
@taiki-e taiki-e mentioned this pull request Aug 14, 2022
@taiki-e taiki-e added 0.3-backport: completed and removed 0.3-backport: pending The maintainer accepted to backport this to the 0.3 branch, but backport has not been done yet. labels Aug 14, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant