Skip to content

Fix error message for './configure' regarding '--with-ghc'

Closes #16558 (closed).

Merge request reports