# HG changeset patch
# User wenzelm
# Date 1554494048 -7200
# Node ID 1eed61c3a5e57de17c68e2d7ccf7444fc1a06465
# Parent  9b34dbeb11035d8673153f084660c8be9acc1753
clarified;

diff -r 9b34dbeb1103 -r 1eed61c3a5e5 NEWS
--- a/NEWS	Fri Apr 05 17:05:32 2019 +0200
+++ b/NEWS	Fri Apr 05 21:54:08 2019 +0200
@@ -92,7 +92,8 @@
 
 * OpenJDK 11 has quite different font rendering, with better glyph
 shapes and improved sub-pixel anti-aliasing. In some situations results
-might be *worse* than Oracle Java 8, though.
+might be *worse* than Oracle Java 8, though. A decent HiDPI display is
+recommended.
 
 
 *** Document preparation ***