Don't send non-existent extra-lib-dirs to ghc#8510

Merged

mergify[bot] merged 3 commits intomasterfrom gb/no-bad-extra-lib-dirs

Jan 6, 2023

+26-7

Commits on Oct 3, 2022

don't send non-extant extra-lib-dirs to ghc #6492
gbaz
committed

Commits on Oct 21, 2022

changelog
gbaz
committed

Commits on Jan 5, 2023

Merge branch 'master' into gb/no-bad-extra-lib-dirs
mergify[bot]
authored