Skip to content

Remove max number of problems config option#1567

Merged
mergify[bot] merged 3 commits intohaskell:masterfrom
jneira:remove-max-problems
Mar 14, 2021

Commits

Commits on Mar 13, 2021

Commits on Mar 14, 2021