[ANN] dune 3.9.0

Ecosystem
,
4

We just released dune 3.9.2. This bugfix-only release contains two platform-specific changes: one fixes the Dune cache on Windows, and the other one completes the fix on Linux when sendfile is not available. This makes Dune available where user directories are encrypted using ecryptfs for example.

Fixes

  • Disable background digests on Windows. This prevents an issue where
    unremovable files would make dune crash when the shared cache is enabled.
    (#8243, fixes #8228, @emillon)

  • Fix permission errors when sendfile is not available (#8234, fixes #8210,
    @emillon)

4 Likes