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

release: 13.1.1 #888

Merged

steabert merged 1 commit into main from rel

Jan 12, 2024

Member

steabert commented Jan 12, 2024

Checklist for review

PR title and description are clear
change follows existing coding style and architecture
necessary unit tests were added
documentation was updated


          release: 13.1.1

876cd45

steabert requested review from barnomasoz, rikteg and Tigge as code owners

January 12, 2024 14:25

steabert merged commit db30d3b into main

7 checks passed

steabert deleted the rel branch

January 12, 2024 14:32

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

Labels

None yet