# HG changeset patch
# User wenzelm
# Date 1458329701 -3600
# Node ID a9ee1f240b81b1fbff296c9be41641e05276b3f5
# Parent  006c057814f1998a92a98bad651e39d11f84afd7
recovered from Unicode accident in 7248d106c607;

diff -r 006c057814f1 -r a9ee1f240b81 NEWS
--- a/NEWS	Fri Mar 18 20:29:50 2016 +0100
+++ b/NEWS	Fri Mar 18 20:35:01 2016 +0100
@@ -1099,9 +1099,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.