From 4057fe2941e6f6cd5b73d24a17cd86e5d4ebc295 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Thu, 22 Oct 2020 15:11:36 +0200
Subject: Adding changelog for #13247.

---
 .../13247-master+fix13241-locating-nested-ltac-errors.rst           | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100644 doc/changelog/05-tactic-language/13247-master+fix13241-locating-nested-ltac-errors.rst

diff --git a/doc/changelog/05-tactic-language/13247-master+fix13241-locating-nested-ltac-errors.rst b/doc/changelog/05-tactic-language/13247-master+fix13241-locating-nested-ltac-errors.rst
new file mode 100644
index 0000000000..1eb8ef5a2a
--- /dev/null
+++ b/doc/changelog/05-tactic-language/13247-master+fix13241-locating-nested-ltac-errors.rst
@@ -0,0 +1,6 @@
+- **Fixed:**
+  Miscellaneous issues with locating tactic errors
+  (`#13247 <https://github.com/coq/coq/pull/13247>`_,
+  fixes `#12773 <https://github.com/coq/coq/issues/12773>`_
+  and `#12992 <https://github.com/coq/coq/issues/12992>`_,
+  by Hugo Herbelin).
-- 
cgit v1.2.3