Skip to content

Disable line search in those case where we already are at the solution

This potentially fixes #117 (closed).

Waiting for @lukas.riedel and @hannes.bauser to give feedback.

Merge request reports