Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Conversation

ethomson
Copy link
Member

@ethomson ethomson commented Jun 4, 2020

No description provided.

@ethomson
Copy link
Member Author

ethomson commented Jun 4, 2020

@pks-t I should have run your helpful release script before I opened my last PR. 😁

@pks-t
Copy link
Member

pks-t commented Jun 4, 2020

Heh :P Anyway, looks good to me. I'll leave the merging to you, as I suspect you'll also want to do the release itself.

@ethomson ethomson merged commit 0ced296 into maint/v1.0 Jun 4, 2020
@ethomson ethomson deleted the ethomson/1_0_1 branch December 11, 2020 14: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