From 54986ed77297f7fe53cdc0cca360c9a6ac206a1f Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Mon, 6 Jan 2020 10:33:09 +0100
Subject: Fix #11360: discharge of template inductive with param only use of
 var

---
 .../01-kernel/11361-fix-11360-discharge-template-param-var.rst        | 4 ++++
 1 file changed, 4 insertions(+)
 create mode 100644 doc/changelog/01-kernel/11361-fix-11360-discharge-template-param-var.rst

(limited to 'doc')

diff --git a/doc/changelog/01-kernel/11361-fix-11360-discharge-template-param-var.rst b/doc/changelog/01-kernel/11361-fix-11360-discharge-template-param-var.rst
new file mode 100644
index 0000000000..8c84648aa7
--- /dev/null
+++ b/doc/changelog/01-kernel/11361-fix-11360-discharge-template-param-var.rst
@@ -0,0 +1,4 @@
+- **Fixed:** `#11360 <https://github.com/issues/11360>`_
+  Broken section closing when a template polymorphic inductive type depends on
+  a section variable through its parameters (`#11361
+  <https://github.com/coq/coq/pull/11361>`_, by Gaëtan Gilbert).
-- 
cgit v1.2.3