v0.3.12c
Dirk Strauss
@dstrauss
5f4553aa
·
Merge branch 'feature/githubUpgrade' into develop
·
Mar 04, 2022
Unverified
Releasing version v0.3.12c
