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

v1.3.1 release #6271

Merged

ethomson merged 2 commits into maint/v1.3 from ethomson/v1.3.1

Apr 12, 2022

Member

ethomson commented Apr 12, 2022

🔒

ethomson added 2 commits

April 12, 2022 15:52


          meta: update version numbers for v1.3.1

1f39aac


          meta: changelog for v1.3.1

23c24f8

ethomson merged commit 1f5e7f9 into maint/v1.3

ethomson deleted the ethomson/v1.3.1 branch

April 12, 2022 20:17

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