From 4297c81eaa43ae43bc4fc31ca19c695539b26b42 Mon Sep 17 00:00:00 2001
From: Oliver Nash
Date: Tue, 3 Sep 2019 20:50:35 +0100
Subject: Add changelog entry for 10731

---
 doc/changelog/10-standard-library/10651-new-lemmas-for-lists.rst | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

diff --git a/doc/changelog/10-standard-library/10651-new-lemmas-for-lists.rst b/doc/changelog/10-standard-library/10651-new-lemmas-for-lists.rst
index f68b2aaaa2..864c4e6a7e 100644
--- a/doc/changelog/10-standard-library/10651-new-lemmas-for-lists.rst
+++ b/doc/changelog/10-standard-library/10651-new-lemmas-for-lists.rst
@@ -1,4 +1,6 @@
-- New lemmas on :g:`combine`, :g:`filter`, and :g:`nodup` functions on lists. The lemma
-  :g:`filter_app` was moved to the :g:`List` module.
+- New lemmas on :g:`combine`, :g:`filter`, :g:`nodup`, :g:`nth`, and
+  :g:`nth_error` functions on lists. The lemma :g:`filter_app` was moved to the
+  :g:`List` module.
 
-  See `#10651 <https://github.com/coq/coq/pull/10651>`_, by Oliver Nash.
+  See `#10651 <https://github.com/coq/coq/pull/10651>`_, and
+  `#10731 <https://github.com/coq/coq/pull/10731>`_, by Oliver Nash.
-- 
cgit v1.2.3