Skip to content

Commit

Permalink
Add changelog for #11129 that was accidentally left out (#11133)
Browse files Browse the repository at this point in the history
Signed-off-by: Marek Kubica <marek@tarides.com>
  • Loading branch information
Leonidas-from-XIV authored Nov 19, 2024
1 parent de4d262 commit c0d68be
Showing 1 changed file with 3 additions and 0 deletions.
3 changes: 3 additions & 0 deletions doc/changes/11129.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,3 @@
- Do not add `dune` dependency in `dune-project` when creating projects with
`dune init proj`. The Dune dependency is implicitely added when generating
opam files (#11129, @Leonidas-from-XIV)

0 comments on commit c0d68be

Please sign in to comment.