chore: added entry for CHANGES.md

benodiwal · benodiwal · commit c74120e56f9c · 2025-11-28T15:59:15.000+05:30
Signed-off-by: Sachin Beniwal &lt;s474996633@gmail.com&gt;
diff --git a/doc/changes/fixed/12802.md b/doc/changes/fixed/12802.md
@@ -0,0 +1,3 @@
+- Provide a more informative error message when `(pkg enabled)` is put in
+  `dune-project` instead of `dune-workspace`. (#12802, fixes #12801,
+  @benodiwal)

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	+- Provide a more informative error message when `(pkg enabled)` is put in
	`2`	+ `dune-project` instead of `dune-workspace`. (#12802, fixes #12801,
	`3`	`+ @benodiwal)`