cabal-install: check: Whitelist doc file extensions (backport #8747)#8766
Merged
mergify[bot] merged 1 commit into3.10from Feb 14, 2023
Merged
cabal-install: check: Whitelist doc file extensions (backport #8747)#8766mergify[bot] merged 1 commit into3.10from
mergify[bot] merged 1 commit into3.10from