Skip to content

Release 12.4.0

Choose a tag to compare

@github-actions github-actions released this 25 Aug 11:53
Merge branch 'develop'

* develop:
  Upgrading to 12.4.0
  We need to make sure the subfingerprints are strictly increasing and don't overlap with other hashes that are inserted in parallel.
  Update README.md