From c8a57ee238ae02056e97dc1ef983f415ccf0f829 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Sat, 16 Nov 2019 18:37:00 +0100
Subject: [ci] [gitlab] Bump to edge to OCaml 4.10, add test-suite for OCaml
 4.11

---
 .../11131-ci+back_to_ocaml_410.rst                                 | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 doc/changelog/11-infrastructure-and-dependencies/11131-ci+back_to_ocaml_410.rst

(limited to 'doc')

diff --git a/doc/changelog/11-infrastructure-and-dependencies/11131-ci+back_to_ocaml_410.rst b/doc/changelog/11-infrastructure-and-dependencies/11131-ci+back_to_ocaml_410.rst
new file mode 100644
index 0000000000..778d37e07b
--- /dev/null
+++ b/doc/changelog/11-infrastructure-and-dependencies/11131-ci+back_to_ocaml_410.rst
@@ -0,0 +1,7 @@
+- **Added:**
+  Bump official OCaml support and CI testing to 4.10.0
+  (`#11131 <https://github.com/coq/coq/pull/11131>`_,
+  `#11123 <https://github.com/coq/coq/pull/11123>`_,
+  `#11102 <https://github.com/coq/coq/pull/11123>`_,
+  by Emilio Jesus Gallego Arias, Jacques-Henri Jourdan,
+  Guillaume Melquiond, and Guillaume Munch-Maccagnoni).
-- 
cgit v1.2.3