From 2c1e2cda670e720156a32a16e7999548cd41cc94 Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Mon, 22 Feb 2021 12:43:41 +0100
Subject: mention --version to CoqIDE

---
 doc/sphinx/changes.rst | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/doc/sphinx/changes.rst b/doc/sphinx/changes.rst
index 596205e527..ea099eb52e 100644
--- a/doc/sphinx/changes.rst
+++ b/doc/sphinx/changes.rst
@@ -713,6 +713,14 @@ Kernel
   (`#13867 <https://github.com/coq/coq/pull/13867>`_,
   by Guillaume Melquiond).
 
+CoqIDE
+^^^^^^
+
+- **Added:**
+  Option ``-v`` and ``--version`` to CoqIDE
+  (`#13870 <https://github.com/coq/coq/pull/13870>`_,
+  by Guillaume Melquiond).
+
 
 Version 8.12
 ------------
-- 
cgit v1.2.3