- **Added:**
  Built-in support for persistent arrays, which expose a functional
  interface but are implemented using an imperative data structure, for
  better performance.
  (`#11604 <https://github.com/coq/coq/pull/11604>`_,
  by Maxime Dénès and Benjamin Grégoire, with help from Gaëtan Gilbert).