From fa63dfe0f7a152fae3b2389d1feb3676187dc214 Mon Sep 17 00:00:00 2001 From: Takeshi KOMIYA Date: Sun, 24 Feb 2019 20:42:37 +0900 Subject: [PATCH] Update CHANGES for PR #5508 --- CHANGES | 1 + 1 file changed, 1 insertion(+) diff --git a/CHANGES b/CHANGES index e6ccfad27..e231419de 100644 --- a/CHANGES +++ b/CHANGES @@ -17,6 +17,7 @@ Bugs fixed ---------- * #6096: html: Anchor links are not added to figures +* #5508: ``linenothreshold`` option for ``highlight`` directive was ignored Testing --------