CHANGES.

CHANGES.md

 # CHANGES
 
+## 2022/02/XX
+
+* Restrict the type of `Fix.Indexing.Vector.empty`, which was too general
+  and would allow out-of-bounds accesses into an empty vector.
+  (Contributed by Frédéric Bour.)
+
 ## 2022/01/21
 
 * The functor `Memoize.Make` now requires just `MINIMAL_IMPERATIVE_MAPS`