Skip to content

Conversation

antoinegaston
Copy link

This PR aims to fix this issue #17

@antoinegaston antoinegaston closed this by deleting the head repository Nov 6, 2022
@antoinegaston antoinegaston reopened this Nov 6, 2022
@cornhundred
Copy link
Contributor

Thanks @antoinegaston. I don't have write access to this repo, but I can try to contact someone with the permissions to do the merge.

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