diff --git a/doc/changes/11129.md b/doc/changes/11129.md new file mode 100644 index 00000000000..536255b8585 --- /dev/null +++ b/doc/changes/11129.md @@ -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)