Merge pull request #9145 from haskell/mergify/bp/3.10/pr-9132
commit29e80e9ab04e076d620676dfc7d2b724ca883bcc
authorFrancesco Gazzetta <fgaz@fgaz.me>
Wed, 6 Sep 2023 13:27:11 +0000 (6 15:27 +0200)
committerGitHub <noreply@github.com>
Wed, 6 Sep 2023 13:27:11 +0000 (6 15:27 +0200)
tree9f1501bc6e4fe657e561fb84c5d812ad3c9b7a2c
parent3b74b6803d28678686ec20667fe2bafaf9a2b0c1
parent9093f32ed57301278436fb2dd8f38b7ba6796aa6
Merge pull request #9145 from haskell/mergify/bp/3.10/pr-9132

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