Closed sildater closed 1 year ago
is there anything else that needs to be changed?
Resolves #259
Should we also change in this PR the release versioning stuff, or on the develop -> main PR would be best?
develop -> main
is there anything else that needs to be changed?
Resolves #259