From c973f165e3c5506ff3740af0e33bbc0fbb777853 Mon Sep 17 00:00:00 2001 From: Antonio Nuno Monteiro Date: Wed, 25 Dec 2024 02:00:56 -0800 Subject: [PATCH] chore: add changelog for #11234 (#11242) Signed-off-by: Antonio Nuno Monteiro --- doc/changes/11173.md | 2 +- doc/changes/11234.md | 3 +++ 2 files changed, 4 insertions(+), 1 deletion(-) create mode 100644 doc/changes/11234.md 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) +