Skip to content

8.15.0+0.15.2
Compare
Choose a tag to compare
@ejgallego ejgallego released this 23 Jun 19:43
· 286 commits to main since this release
8.15.0+0.15.2
20f868b
This commit was signed with the committer’s verified signature. The key has expired.
ejgallego Emilio Jesús Gallego Arias
GPG key ID: D3DA7A344681F041
Expired
Verified
Learn about vigilant mode.

CHANGES:

  • [deps] Support Jane Street libraries v0.15.0 (@ejgallego)
  • [deps] Require cmdliner >= 1.1.0 (@ejgallego)

Contributors

ejgallego
Assets 3
Loading