diff options
author | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2021-03-05 19:14:07 +0100 |
---|---|---|
committer | David Allsopp <david.allsopp@metastack.com> | 2022-01-17 11:16:15 +0000 |
commit | 1decc68dc44e7eeed53f228283eb8351c46d09ee (patch) | |
tree | b18d1d41f9c8980859c8884bb3106d80dee2bfc9 | |
parent | d111407bf4ff71171598d30825c8e59ed5f75fd6 (diff) | |
download | ocaml-4.01.tar.gz |
Update Changes4.01
Updated separately to allow the previous patch to be used for multiple
releases.
-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: ------------- |