aboutsummaryrefslogtreecommitdiff
path: root/doc/changelog/04-tactics/14012-ltac2-array-init.rst
AgeCommit message (Expand)Author
2021-04-01changelog for 8.13.2Enrico Tassi
2021-03-26Fix Ltac2 `Array.init` exponential overheadJason Gross
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-18 20:33:20 +0000