summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlain Frisch <alain@frisch.fr>2021-10-27 09:43:07 +0200
committerGitHub <noreply@github.com>2021-10-27 09:43:07 +0200
commitf04d0cd1dcc711304b04c8747981af92fb017386 (patch)
tree56747b8f62a838c72f033b37aa88f6a6e928601c
parent3a900d43814357cf9599a6ee0f851c903a908941 (diff)
downloadocaml-afrisch_fix_reachable_words.tar.gz
Co-authored-by: Xavier Leroy <xavierleroy@users.noreply.github.com>
-rw-r--r--Changes4
1 files changed, 2 insertions, 2 deletions
diff --git a/Changes b/Changes
index b34238031a..f43a47c97f 100644
--- a/Changes
+++ b/Changes
@@ -29,8 +29,8 @@ Working version
(Xavier Leroy and David Allsopp, review by Sébastien Hinderer and
Damien Doligez)
-- #10730, 10731: Fix bug making Obj.reachable_words extremely slow when called
- multiple time (Alain Frisch, report by ygrek)
+- #10730, 10731: Fix bug in `Obj.reachable_words` causing a slowdown when called
+ multiple time (Alain Frisch, report by ygrek, review by Xavier Leroy)
### Code generation and optimizations: