diff options
author | Gabriel Scherer <gabriel.scherer@gmail.com> | 2023-04-03 16:01:15 +0200 |
---|---|---|
committer | Gabriel Scherer <gabriel.scherer@gmail.com> | 2023-04-08 07:12:41 +0200 |
commit | 061cbe3a94646b6f2e632d4e4bda990001d7b047 (patch) | |
tree | 21ec72db8d931e83dfa6b87b6ed7c66b37cb7bef | |
parent | 78be3f27d9e834d5379729be788b3fbda407ae3d (diff) | |
download | ocaml-061cbe3a94646b6f2e632d4e4bda990001d7b047.tar.gz |
Changes
-rw-r--r-- | .mailmap | 1 | ||||
-rw-r--r-- | Changes | 5 |
2 files changed, 6 insertions, 0 deletions
@@ -137,6 +137,7 @@ Eduardo Rafael <EduardoRFS@github> Runhang Li <objmagic@github> Dmitrii Kosarev <Kakadu@github> Samuel Hym <shym@github> +B. Szilvasy <eutro@github> # These contributors prefer to be referred to pseudonymously whitequark <whitequark@whitequark.org> @@ -111,6 +111,11 @@ Working version - #12132: Fix overcounting of minor collections in GC stats. (Damien Doligez, review by Gabriel Scherer) +- #3921, #12039, #12128: poll for signals in long-running polymorphic + comparisons. + (B. Szilvasy, Gabriel Scherer and Xavier Leroy, review by + Stefan Muenzel, Guillaume Munch-Maccagnoni and Damien Doligez) + ### Type system: - #6941, #11187: prohibit using classes through recursive modules |