Skip to content

Updated haddock2.5 version and list of changes#780

Merged
amjjbonvin merged 2 commits intomasterfrom
haddock2.5
Apr 29, 2026
Merged

Updated haddock2.5 version and list of changes#780
amjjbonvin merged 2 commits intomasterfrom
haddock2.5

Commits

Commits on Mar 23, 2026