Skip to content
Unverified Commit 6107f00e authored by Axel Kohlmeyer's avatar Axel Kohlmeyer Committed by GitHub
Browse files

Merge pull request #1164 from akohlmey/fix-halt-for-minimize

Enable use of fix halt for minimizations
parents 1d38f2d7 80e0ddda
Loading
Loading
Loading
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please to comment