diff --git a/README.md b/README.md index 9919c32e4..adf5d6653 100644 --- a/README.md +++ b/README.md @@ -396,6 +396,21 @@ property can be done in two different ways: Issues ====== +Parallel `Dynlink` tests under Windows could deadlock or crash (known, fixed, flexdll) +-------------------------------------------------------------------------------------- + +Tests of `Dynlink` on Windows revealed that [the underlying FlexDLL was +unsafe for parallel usage](https://github.com/ocaml/ocaml/issues/13046) + + +`Sys.rename` regression under MinGW/MSVC (new, fixed, runtime) +-------------------------------------------------------------- + +Earlier fixes to bring Windows behaviour closer to other platforms introduced +[an unfortunate cornercase regression](https://github.com/ocaml/ocaml/pull/13166) +if attempting to `Sys.rename` a parent directory to an empty child directory + + Regression causing a Cygwin configure to fail (new, fixed, configure) ---------------------------------------------------------------------