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

Additional documentation #70

Merged

sirn-se merged 1 commit into v3.1-main from server-connections

Jul 9, 2024

Owner

sirn-se commented Jul 9, 2024

Ready for 3.1 release.


          Additional documentation

558fa76

coveralls commented Jul 9, 2024

coverage: 100.0%. remained the same
when pulling 558fa76 on server-connections
into 15e8151 on v3.1-main.

sirn-se merged commit 36a79ed into v3.1-main

14 checks passed

sirn-se modified the milestone: v3.0

sirn-se deleted the server-connections branch

July 9, 2024 17:24

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

Labels

None yet