diff --git a/general.ent b/general.ent
index 0baaba60c5..89442e0d8f 100644
--- a/general.ent
+++ b/general.ent
@@ -1,12 +1,12 @@
-
+
-
+
diff --git a/general/graphlib/poppler.xml b/general/graphlib/poppler.xml
index 7b5f1031b8..f7e9b505bb 100644
--- a/general/graphlib/poppler.xml
+++ b/general/graphlib/poppler.xml
@@ -6,8 +6,8 @@
-
-
+
+
diff --git a/introduction/welcome/changelog.xml b/introduction/welcome/changelog.xml
index 9efe944a0e..5f0cfb33de 100644
--- a/introduction/welcome/changelog.xml
+++ b/introduction/welcome/changelog.xml
@@ -41,6 +41,16 @@
-->
+
+ August 3rd, 2020
+
+
+ [thomas] - Update to poppler-20.08.0. Fixes
+ #13875.
+
+
+
+
August 2nd, 2020
diff --git a/packages.ent b/packages.ent
index b0a24e94c9..10eb5e997c 100644
--- a/packages.ent
+++ b/packages.ent
@@ -230,7 +230,7 @@ to avoid building libxml2 twice, which is slow with all deps -->
-
+