Skip to content

1.13.3

Choose a tag to compare

View all tags
@rgrinberg rgrinberg released this 02 Oct 10:51
· 83 commits to master since this release
1.13.3
5586c57
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

Remove unboxed options. Although the implementation looks fine (it was taken from dune), the performance benefit seems negligible.

Assets 2
Loading