From 3e17b453c397aeb3c8d97fb6ad80bd843e98f43c Mon Sep 17 00:00:00 2001 From: Nicolas Ojeda Bar Date: Mon, 2 Mar 2026 21:12:50 +0100 Subject: [PATCH] Add missing changes entry for #13714 Signed-off-by: Nicolas Ojeda Bar --- doc/changes/fixed/13714.md | 1 + 1 file changed, 1 insertion(+) create mode 100644 doc/changes/fixed/13714.md diff --git a/doc/changes/fixed/13714.md b/doc/changes/fixed/13714.md new file mode 100644 index 00000000000..92884ebe49c --- /dev/null +++ b/doc/changes/fixed/13714.md @@ -0,0 +1 @@ +- Dune cache: use of hard links under Windows. (#13714, @Nevor)