Skip to content

Released version 3.5.2

Compare
Choose a tag to compare
@dg dg released this 04 Feb 16:25
· 12 commits to master since this release
  • Fixed CTRL-C handling on Linux [Closes #145]