Skip to content

Bump version number to 7.9.0 and merge recent bug fixes from main#140

Merged
michael-petersen merged 310 commits into
mainfrom
devel
Dec 10, 2025
Merged

Bump version number to 7.9.0 and merge recent bug fixes from main#140
michael-petersen merged 310 commits into
mainfrom
devel