Skip to content

Conversation

@jferard
Copy link

@jferard jferard commented Sep 18, 2019

Anyway, I'll put it on a list of things to do... (#23)

Just merge this PR and it's done.

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.

1 participant