Skip to content

Conversation

@neekfenwick
Copy link
Contributor

Fixes #13
The recent merge of PR #12 didn't create a tag for the intended version 1.7.2, apparently because this was created back in 2021. I should have set the version to 1.7.3.
Selection_111

@neekfenwick
Copy link
Contributor Author

Bump - have you had time to check this?

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.

Version 1.7.2 seems confused, do we need to bump it to 1.7.3?

1 participant