diff options
| -rw-r--r-- | Changes | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -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: |