diff --git a/doc/changes/added/12473.md b/doc/changes/added/12473.md new file mode 100644 index 00000000000..4ab3bcb3b47 --- /dev/null +++ b/doc/changes/added/12473.md @@ -0,0 +1,2 @@ +- Allow `dune runtest` to properly run while a watch mode server is running. + (#12473, grants #8114, @gridbugs and @ElectreAAS)