Mention #1157 in the crux-mir CHANGELOG

GaloisInc · Jan 31, 2024 · e1fc9f8 · e1fc9f8
1 parent bc05b99
commit e1fc9f8
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/crux-mir/CHANGELOG.md b/crux-mir/CHANGELOG.md
@@ -10,6 +10,7 @@
     discriminant)
   * A more intelligent way of computing crate disambiguators for looking up
     known types such as `MaybeUninit` and `Option`
+* Support code that uses `vec::IntoIter` on length-0 `Vec` values.
 
 # 0.7 -- 2023-06-26