Skip to content

1.0-rc9: Merge pull request #69 from UnixJunkie/disable_core_pinning

Choose a tag to compare

View all tags
@rdicosmo rdicosmo released this 21 Feb 08:17
· 74 commits to master since this release
1.0-rc9
d23100d
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode.

Support for OCaml 4.06, and explicit control of core pinning.

Assets 2
Loading