Skip to content

Conversation

@wxmerkt
Copy link
Member

@wxmerkt wxmerkt commented Nov 8, 2019

Can we also please make a new tag/release after this has been merged? Thank you :-)

@jcarpent
Copy link
Contributor

jcarpent commented Nov 8, 2019

Following discussions in #109, I will close this PR. @wxmerkt Feel free to reopen it if you think this is useful.

@jcarpent jcarpent closed this Nov 8, 2019
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