From cb14a7ebfbad02d954bc2ffa9c924c95f6dd5543 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Wed, 6 May 2020 17:19:16 +0200
Subject: Change log for #12223.

---
 .../12223-master+fix12152-locating-error-atomic-level.rst           | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100644 doc/changelog/04-tactics/12223-master+fix12152-locating-error-atomic-level.rst

(limited to 'doc')

diff --git a/doc/changelog/04-tactics/12223-master+fix12152-locating-error-atomic-level.rst b/doc/changelog/04-tactics/12223-master+fix12152-locating-error-atomic-level.rst
new file mode 100644
index 0000000000..dc438f151e
--- /dev/null
+++ b/doc/changelog/04-tactics/12223-master+fix12152-locating-error-atomic-level.rst
@@ -0,0 +1,6 @@
+- **Fixed:**
+  Loss of location of some tactic errors
+  (`#12223 <https://github.com/coq/coq/pull/12223>`_,
+  by Hugo Herbelin; fixes
+  `#12152 <https://github.com/coq/coq/pull/12152>`_ and
+  `#12255 <https://github.com/coq/coq/pull/12255>`_).
-- 
cgit v1.2.3