diff --git a/ci/doc/coq-emacs-releases.org b/ci/doc/coq-emacs-releases.org index 227bd3e7f..746dcd5d8 100644 --- a/ci/doc/coq-emacs-releases.org +++ b/ci/doc/coq-emacs-releases.org @@ -13,6 +13,7 @@ | date | coq | emacs | distribution name | EOL | historic | |---------+--------+-------+-------------------+----------+----------| +| 2024/03 | 8.19.1 | | | | | | 2024/01 | 8.19.0 | 29.2 | | | | | 2023/09 | 8.18.0 | | | | | | 2023/07 | | 29.1 | | | |