Open andreas-wilm opened 3 years ago
Depends on #31
Use Github releases: https://docs.github.com/en/github/administering-a-repository/managing-releases-in-a-repository
Depends on #31