From 416438366d0df4cef446e302a2b8a7fd9f1ae5be Mon Sep 17 00:00:00 2001
From: Matthias Geier <Matthias.Geier@gmail.com>
Date: Tue, 21 Jul 2020 21:35:49 +0200
Subject: [PATCH] Update CHANGES for PR #7986

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

diff --git a/CHANGES b/CHANGES
index eadace6dc..2b54e9170 100644
--- a/CHANGES
+++ b/CHANGES
@@ -86,6 +86,7 @@ Bugs fixed
 * #7619: Duplicated node IDs are generated if node has multiple IDs
 * #2050: Symbols sections are appeared twice in the index page
 * #8017: Fix circular import in sphinx.addnodes
+* #7986: CSS: make "highlight" selector more robust
 
 Testing
 --------