diff --git a/CHANGES.md b/CHANGES.md index 6f6a28f1b3c..0cce920b03e 100644 --- a/CHANGES.md +++ b/CHANGES.md @@ -5,6 +5,21 @@ If you're a contributor, please include your CHANGES entry in a file `doc/changes/$PR_NAME.md`. At release time, it will be incoporated into the changelog properly. +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)