Skip to content

Release v1.2.1

Choose a tag to compare

View all tags
@nim65s nim65s released this 09 Sep 09:37
· 150 commits to master since this release
v1.2.1
This tag was signed with the committer’s verified signature.
nim65s Guilhem Saurel
GPG key ID: 7D2ACDAF4653CF28
Verified
Learn about vigilant mode.
53357c7

Changes in v1.2.1:

  • add TRACE_SOLVER option
  • fix packaging
Assets 4
Loading