Skip to content

Prepare for 0.2.2.0 release#18

Merged
JakobBruenker merged 2 commits intomainfrom ghc-9.10May 20, 2024