From 7ee359556287610fde675f936f74ab3ab37d8e00 Mon Sep 17 00:00:00 2001
From: Yishuai Li
Date: Sat, 29 Jun 2019 14:05:28 -0400
Subject: Changelog: more accurate on uncons

---
 doc/changelog/10-standard-library/09379-splitAt.rst | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/doc/changelog/10-standard-library/09379-splitAt.rst b/doc/changelog/10-standard-library/09379-splitAt.rst
index af00213c9c..1e6ccb2eaa 100644
--- a/doc/changelog/10-standard-library/09379-splitAt.rst
+++ b/doc/changelog/10-standard-library/09379-splitAt.rst
@@ -1,4 +1,5 @@
-- Added ``uncons`` and ``splitAt`` functions over vectors,
-  and proved some lemmas about them
+- Added ``splitAt`` function and lemmas about ``splitAt`` and ``uncons``
   (`#9379 <https://github.com/coq/coq/pull/9379>`_,
-  by Yishuai Li, with help of Konstantinos Kallas).
+  by Yishuai Li, with help of Konstantinos Kallas,
+  follow-up of `#8365 <https://github.com/coq/coq/pull/8365>`_,
+  which added ``uncons`` in 8.10+beta1).
-- 
cgit v1.2.3