Skip to content

v1.2.1

Choose a tag to compare

@github-actions github-actions released this 25 Feb 13:07
· 50 commits to master since this release
8a990ea

CodeTracking v1.2.1

Diff since v1.2.0

Closed issues:

  • [Docs] Getting Started (#80)
  • Internal error when trying to find string definition of Base.get_preferences (#98)
  • Failure on method with effect annotations (#103)

Merged pull requests: