Skip to content
Snippets Groups Projects
Unverified Commit 4aa5f886 authored by Francesco Gazzetta's avatar Francesco Gazzetta Committed by GitHub
Browse files

PD check: do not treat library names as package names (#9132) 

Fixes #9122
parent 667be468
Branches ghc-8.10
No related tags found
No related merge requests found
Pipeline #82045 failed
Stage: build