diff --git a/CHANGES.md b/CHANGES.md index 7657e945a79..5cd8b4895a9 100644 --- a/CHANGES.md +++ b/CHANGES.md @@ -1,3 +1,18 @@ +3.17.1 (2024-12-17) +------------------- + +### Fixed + +- When a library declares `(no_dynlink)`, then the `.cmxs` file for it + is no longer built. (#11176, @nojb) + +- Fix bug that could result in corrupted file copies by Dune, for example when + using the `copy_files#` stanza or the `copy#` action. (@nojb, #11194, fixes + #11193) + +- Remove useless error message when running `$ dune subst` in empty projects. + (@rgrinberg, #11204, fixes #11200) + 3.17.0 (2024-11-27) ------------------- diff --git a/doc/changes/11176.md b/doc/changes/11176.md deleted file mode 100644 index be4fe1f57ad..00000000000 --- a/doc/changes/11176.md +++ /dev/null @@ -1,2 +0,0 @@ -- #11176: when a library declares `(no_dynlink)`, then the `.cmxs` file for it - is no longer built. (@nojb) diff --git a/doc/changes/11194.md b/doc/changes/11194.md deleted file mode 100644 index 8b91225acaf..00000000000 --- a/doc/changes/11194.md +++ /dev/null @@ -1,3 +0,0 @@ -- Fix bug that could result in corrupted file copies by Dune, for example when - using the `copy_files#` stanza or the `copy#` action. (@nojb, #11194, fixes - #11193) diff --git a/doc/changes/11204.md b/doc/changes/11204.md deleted file mode 100644 index 8c4fce1771f..00000000000 --- a/doc/changes/11204.md +++ /dev/null @@ -1,2 +0,0 @@ -- Remove useless error message when running `$ dune subst` in empty projects. - (@rgrinberg, #11204, fixes #11200)