Skip to content

Conversation

@hugovk
Copy link
Member

@hugovk hugovk commented May 16, 2022

@hugovk hugovk requested a review from JulienPalard May 16, 2022 12:58
@JulienPalard JulienPalard merged commit 2593117 into python:main May 16, 2022
@JulienPalard
Copy link
Member

Thanks!

@hugovk hugovk deleted the parallel branch May 16, 2022 17:32
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