Skip to content

Minor bug fixes

Compare
Choose a tag to compare
@ThomasMaul ThomasMaul released this 27 Jul 06:41
· 14 commits to main since this release
be91140

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