This point release fixes two important issues on Windows and Linux.
See full changelog
- Fix deadlock on Windows (dune#8044, @nojb)
- When using
sendfile to copy files on Linux, fall back to the portable version if it fails at runtime for some reason (NFS, etc).
(dune#8049, fixes dune#8041, @emillon)