diff --git a/doc/changes/11173.md b/doc/changes/11173.md index f0d1dca78fa..84e48ebcb0c 100644 --- a/doc/changes/11173.md +++ b/doc/changes/11173.md @@ -1,2 +1,2 @@ - Warn when failing to discover root due to reads failing. The previous - behavior was to abort. (#KoviRobi, #11173) + behavior was to abort. (@KoviRobi, #11173) diff --git a/doc/changes/11234.md b/doc/changes/11234.md new file mode 100644 index 00000000000..8ab746bde69 --- /dev/null +++ b/doc/changes/11234.md @@ -0,0 +1,3 @@ +- Allow arguments starting with `+` in preprocessing definitions (starting with + `(lang dune 3.18)`). (@amonteiro, #11234) +