Skip to content

Release 1.7.3
Compare
Choose a tag to compare
@arminbiere arminbiere released this 15 Sep 10:30
· 541 commits to master since this release
rel-1.7.3
38e073b

Version 1.7.3

  • Replaced the unsafe popen approach for compressed file writing
    with an explicit pipe/fork/exec/waitpid flow and accordingly
    removed the --safe configuration option again.
Assets 2
Loading