--- a/NEWS Mon Jan 28 16:29:11 2019 +0100
+++ b/NEWS Mon Jan 28 20:32:09 2019 +0100
@@ -3002,9 +3002,9 @@
performance.
* Property values in etc/symbols may contain spaces, if written with the
-replacement character "?" (Unicode point 0x2324). For example:
-
- \<star> code: 0x0022c6 group: operator font: Deja?Vu?Sans?Mono
+replacement character "␣" (Unicode point 0x2324). For example:
+
+ \<star> code: 0x0022c6 group: operator font: Deja␣Vu␣Sans␣Mono
* Java runtime environment for x86_64-windows allows to use larger heap
space.