Skip to content
This repository was archived by the owner on Nov 24, 2025. It is now read-only.

Fix build#2281

Merged
larskuhtz merged 9 commits intomasterfrom
lars/remove-ghc-9.6
Nov 19, 2025
Merged

Fix build#2281
larskuhtz merged 9 commits intomasterfrom
lars/remove-ghc-9.6

Commits

Commits on Nov 19, 2025