Skip to content

Release 3.1.1

Compare
Choose a tag to compare
@arminbiere arminbiere released this 11 Sep 09:37
· 9 commits to master since this release

Version 3.1.1

  • configuration option --safe disables writing through popen