Skip to content

Conversation

maelle
Copy link
Member

@maelle maelle commented Jul 21, 2022

Fix #482

@maelle maelle merged commit a2d3e6e into main Jul 21, 2022
@mpadge mpadge deleted the github-discussions branch August 8, 2022 09:36
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.

Mention GitHub discussions
1 participant