Summary
A maintenance release that includes a few improvements observed in static code analysis (CodeQL). All CI stuff is now done by github actions.
A maintenance release that includes a few improvements observed in static code analysis (CodeQL). All CI stuff is now done by github actions.