diff --git a/doc/changes/10321.md b/doc/changes/10321.md new file mode 100644 index 00000000000..9dcede1c882 --- /dev/null +++ b/doc/changes/10321.md @@ -0,0 +1,3 @@ +- `dune describe pp` now finds the exact module and the stanza it belongs to, + instead of guessing the name of the preprocessed file. (#10321, @anmonteiro) +