diff options
Diffstat (limited to 'Changes')
| -rw-r--r-- | Changes | 9 |
1 files changed, 9 insertions, 0 deletions
@@ -19,6 +19,15 @@ Bug fixes: - PR#6267: more information printed by "bt" command of ocamldebug - PR#6275: Soundness bug related to type constraints +- #10250, #10266: Dynamically allocate alternate signal stacks to + accommodate changes in Glibc 2.34. + (Xavier Leroy, reports by Tomasz Kłoczko and R.W.M. Jones, review by Anil + Madhavapeddy, Stephen Dolan, and Florian Angeletti) + +- #10698, #10726, #10891: Free the alternate signal stack when the main OCaml + code or an OCaml thread stops. + (Xavier Leroy, review by David Allsopp, Florian Angeletti and Damien Doligez) + OCaml 4.01.0: ------------- |