From 34634d6225a5d6d5ff4e6ffe2677973d7fc6375c Mon Sep 17 00:00:00 2001
From: jfbu <jfbu@free.fr>
Date: Sun, 10 Dec 2017 23:31:44 +0100
Subject: [PATCH] Update CHANGES for PR #4250

---
 CHANGES | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/CHANGES b/CHANGES
index 1e6613b75..780040c2a 100644
--- a/CHANGES
+++ b/CHANGES
@@ -24,6 +24,8 @@ Bugs fixed
 * #2298: automodule fails to document a class attribute
 * #4099: C++: properly link class reference to class from inside constructor
 * #4267: PDF build broken by Unicode U+2116 NUMERO SIGN character
+* #4249: PDF output: Pygments error highlighting increases line spacing in
+  code blocks
 
 Testing
 --------