summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGabriel Scherer <gabriel.scherer@gmail.com>2023-04-03 16:01:15 +0200
committerGabriel Scherer <gabriel.scherer@gmail.com>2023-04-08 07:12:41 +0200
commit061cbe3a94646b6f2e632d4e4bda990001d7b047 (patch)
tree21ec72db8d931e83dfa6b87b6ed7c66b37cb7bef
parent78be3f27d9e834d5379729be788b3fbda407ae3d (diff)
downloadocaml-061cbe3a94646b6f2e632d4e4bda990001d7b047.tar.gz
Changes
-rw-r--r--.mailmap1
-rw-r--r--Changes5
2 files changed, 6 insertions, 0 deletions
diff --git a/.mailmap b/.mailmap
index 342212bd9b..242dcc6419 100644
--- a/.mailmap
+++ b/.mailmap
@@ -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>
diff --git a/Changes b/Changes
index 8f197b0001..9b86a60206 100644
--- a/Changes
+++ b/Changes
@@ -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