-
Andres Löh authored
Previously, a setting of `--max-backjumps=-1` was reported in the debug output as `0`. But `0` has a very different meaning, and that is confusing.
8614859d
Previously, a setting of `--max-backjumps=-1` was reported in the debug output as `0`. But `0` has a very different meaning, and that is confusing.