Skip to content

Commit

Permalink
chore: prepare 3.15.2 (#10453)
Browse files Browse the repository at this point in the history
Signed-off-by: Etienne Millon <me@emillon.org>
  • Loading branch information
emillon authored Apr 23, 2024
1 parent e258ed1 commit c28817c
Show file tree
Hide file tree
Showing 2 changed files with 11 additions and 2 deletions.
11 changes: 11 additions & 0 deletions CHANGES.md
Original file line number Diff line number Diff line change
@@ -1,3 +1,14 @@
3.15.2 (2024-04-23)
-------------------

### Fixed

- If no directory targets are defined, then do not evaluate `enabled_if`
(#10442, @rgrinberg)

- Fix a bug where Coq projects were being rebuilt from scratch each time the
dependency graph changed. (#10446, fixes #10149, @alizter)

3.15.1 (2024-04-17)
-------------------

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

This file was deleted.

0 comments on commit c28817c

Please sign in to comment.