[ANN] dune 3.8.0

Ecosystem
,
3

And here’s the changelog for dune 3.8.3, just released, which fixes two important bugs on Linux and Windows:

3.8.3 (2023-06-27)

  • Fix deadlock on Windows (#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).
    (#8049, fixes #8041, @emillon)