Skip to content

Bugfix release (Oct 2023)

Choose a tag to compare

@jkrue jkrue released this 27 Oct 06:47
· 7 commits to main since this release
bb79e85
Merge pull request #13 from deNBI/development

hot fix bug concerning calculation number of flavors.