Skip to content

Minor bug fixes

Choose a tag to compare

@ThomasMaul ThomasMaul released this 27 Jul 06:41
· 16 commits to main since this release
be91140

merge fixes from Michael Kneuss, many thanks for that work.
Details: #3