From e793ac46a18873fab3a1d6ee80c6a5b38d25561f Mon Sep 17 00:00:00 2001 From: Hendrik Tews Date: Thu, 7 Mar 2024 11:36:42 +0100 Subject: [PATCH] CI: test 8.19.1 instead of 8.19.0 Achieved by updating the docker containers. --- ci/doc/coq-emacs-releases.org | 1 + 1 file changed, 1 insertion(+) 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 | | | |