From b4e88c15da749b3edbd56cb70bf280a8e7bbfc3c Mon Sep 17 00:00:00 2001
From: Jasper Hugunin
Date: Mon, 16 Jul 2018 14:04:29 -0700
Subject: Add test for repeated section with same name

---
 CHANGES | 1 +
 1 file changed, 1 insertion(+)

(limited to 'CHANGES')

diff --git a/CHANGES b/CHANGES
index d3f07889fe..95378c1c29 100644
--- a/CHANGES
+++ b/CHANGES
@@ -78,6 +78,7 @@ Vernacular Commands
 - The `Set SsrHave NoTCResolution` command no longer has special global
   scope. If you want the previous behavior, use `Global Set SsrHave
   NoTCResolution`.
+- Multiple sections with the same name are allowed.
 
 Coq binaries and process model
 
-- 
cgit v1.2.3