Skip to content

Commit

Permalink
chore: Update changelog with entries from 3.14 branch (#10265)
Browse files Browse the repository at this point in the history
* [3.14] Prepare changelog for 3.14.1 release (#10249)

All the changes are fixes so no exciting functional changes in this
point release.

Signed-off-by: Marek Kubica <marek@tarides.com>

* Prepare changelog for 3.14.2 release (#10259)

Signed-off-by: Marek Kubica <marek@tarides.com>

---------

Signed-off-by: Marek Kubica <marek@tarides.com>
  • Loading branch information
Leonidas-from-XIV committed Mar 13, 2024
1 parent ffa6e1f commit a18c530
Show file tree
Hide file tree
Showing 7 changed files with 29 additions and 13 deletions.
29 changes: 29 additions & 0 deletions CHANGES.md
Original file line number Diff line number Diff line change
Expand Up @@ -5,6 +5,35 @@ 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.14.2 (2024-03-12)
-------------------

### Fixed

- fix compilation on non-glibc systems due to `signal.h` not being pulled in
spawn stubs. (#10256, @emillon)

3.14.1 (2024-03-11)
-------------------

### Fixed

- When a directory is changed to a file, correctly remove it in subsequent
`dune build` runs. (#9327, fix #6575, @emillon)

- Fix a problem with the doc-new target where transitive dependencies were
missed during compile. This leads to missing expansions in the output docs.
(#9955, @jonludlam)

- coq: fix performance regression in coqdep unescaping (#10115, fixes #10088,
@ejgallego, thanks to Dan Christensen for the report)

- coq: memoize coqdep parsing, this will reduce build times for Coq users, in
particular for those with many .v files (#10116, @ejgallego, see also #10088)

- on Windows, use an unicode-aware version of `CreateProcess` to avoid crashes
when paths contains non-ascii characters. (#10212, fixes #10180, @emillon)

3.14.0 (2024-02-12)
-------------------

Expand Down
2 changes: 0 additions & 2 deletions doc/changes/10115.md

This file was deleted.

3 changes: 0 additions & 3 deletions doc/changes/10116.md

This file was deleted.

2 changes: 0 additions & 2 deletions doc/changes/10212.md

This file was deleted.

2 changes: 0 additions & 2 deletions doc/changes/10256.md

This file was deleted.

2 changes: 0 additions & 2 deletions doc/changes/9327.md

This file was deleted.

2 changes: 0 additions & 2 deletions doc/changes/9955.md

This file was deleted.

0 comments on commit a18c530

Please sign in to comment.