Skip to content

Restore compat. with haddock-library 1.8#1717

Merged
mergify[bot] merged 1 commit intomasterfrom
haddock-1.8
Apr 13, 2021

Commits

Commits on Apr 12, 2021