Skip to content

3.7.1
Compare
Choose a tag to compare
@emillon emillon released this 04 Apr 11:35
· 3127 commits to main since this release
3.7.1
e2b2d6a
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.

CHANGES:

  • Fix segfault on MacOS when dune was being shutdown while in watch mode.
    (#7312, fixes #6151, @gridbugs, @emillon)

  • Fix preludes not being recorded as dependencies in the (mdx) stanza (#7109,
    fixes #7077, @emillon).

  • Pass correct flags when compiling stdlib.ml. (#7241, @emillon)

  • Handle "Too many links" errors when using Dune cache on Windows. The fix in
    3.7.0 for this same issue was not effective due to a typo. (#7472, @nojb)

Contributors

nojb, gridbugs, and emillon
Assets 3
Loading