Closed vanhauser-thc closed 11 months ago
Renamed perform_initial_minimization to minimize.
perform_initial_minimization
minimize
We can keep it off by default for now :) It's a simple -m away.
-m
Renamed
perform_initial_minimization
tominimize
.We can keep it off by default for now :) It's a simple
-m
away.