path: root/doc/changelog/05-tactic-language/10343-issue-10342-ltac2-standard-library.rst

- **Added:**
  An array library for Ltac2 (as compatible as possible with OCaml standard library)
  (`#10343 <https://github.com/coq/coq/pull/10343>`_,
  by Michael Soegtrop).