Skip to content

Use correct option name (-opti) (fix #17314)

Sylvain Henry requested to merge hsyl20/ghc:hsyl20-iserv-opti into master

There was a typo in the docs and in iserv-proxy's usage.

Merge request reports