moves-rwth/storm

Changelog

sjunges opened this issue · 1 comments

Maintaining the changelog over concurrent PRs is annoying. Before the next release, the Changelog must be updated.

A starting point could be to draft a new Release, set a new tag (which would only be created on publishing) and then let Github generate the release note.