Changes

2019-04-09 13:39:54 +01:00 · 2019-04-09 13:39:54 +01:00 · 5aa8ce8c9c
parent 4218eeb8d4
commit 5aa8ce8c9c
1 changed files with 4 additions and 0 deletions
--- a/4
+++ b/4
@ -106,6 +106,10 @@ Working version
 - #7878, #8542: Replaced TypedtreeIter with tast_iterator
  (Isaac "Izzy" Avram, review by Gabriel Scherer and Nicolás Ojeda Bär)

+- #8598: Replace "not is_nonexpansive" by "maybe_expansive".
+  (Thomas Refis, review by David Allsopp, Florian Angeletti, Gabriel Radanne,
+   Gabriel Scherer and Xavier Leroy)
+
 ### Runtime system:

 - #1725, #2279: Deprecate Obj.set_tag and Obj.truncate