v1.3
a2c0da24 · Merge pull request #39 from UlrichEckhardt/feature/github-actions · Jul 26, 2024