Remove max number of problems config option#363

Merged

jneira merged 3 commits intohaskell:masterfrom

jneira:remove-max-problems

Mar 14, 2021

Commits on Mar 11, 2021

Correct ghc version
jneira
committed

Commits on Mar 14, 2021