From 4fffbe45f42517fbe41fbcf4bf77bfa72fff2579 Mon Sep 17 00:00:00 2001
From: Jim Fehrle
Date: Tue, 19 Jan 2021 10:34:22 -0800
Subject: Remove convert_concl_no_check

---
 doc/changelog/04-tactics/13761-remove_convert_concl_nc.rst | 4 ++++
 1 file changed, 4 insertions(+)
 create mode 100644 doc/changelog/04-tactics/13761-remove_convert_concl_nc.rst

(limited to 'doc/changelog')

diff --git a/doc/changelog/04-tactics/13761-remove_convert_concl_nc.rst b/doc/changelog/04-tactics/13761-remove_convert_concl_nc.rst
new file mode 100644
index 0000000000..1aa57ff8b1
--- /dev/null
+++ b/doc/changelog/04-tactics/13761-remove_convert_concl_nc.rst
@@ -0,0 +1,4 @@
+- **Removed:**
+  convert_concl_no_check.  Use :tacn:`change_no_check` instead
+  (`#13761 <https://github.com/coq/coq/pull/13761>`_,
+  by Jim Fehrle).
-- 
cgit v1.2.3