New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

bump version; update changelog #507

Merged

ungarj merged 1 commit into main from release_2022.11.1

Nov 23, 2022

Owner

ungarj commented Nov 23, 2022

No description provided.


          bump version; update changelog

738dcce

coveralls commented Nov 23, 2022

Coverage remained the same at 100.0% when pulling 738dcce on release_2022.11.1 into 02fbc33 on main.

ungarj merged commit 31c91ad into main

ungarj deleted the release_2022.11.1 branch

November 24, 2022 19:22

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet