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

New release 0.5.2 bugfix #317

Merged

annahedstroem merged 1 commit into main from new-0.5.2-release

Dec 1, 2023

Member

annahedstroem commented Dec 1, 2023

Minimum acceptance criteria

Specify what is necessary for the PR to be merged with the main branch.
@mentions of the person that is apt to review these changes e.g., @annahedstroem


          new release

3d77ab6

annahedstroem merged commit ac36e91 into main

7 checks passed

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

Labels

None yet