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)