# HG changeset patch
# User wenzelm
# Date 1581370800 -3600
# Node ID e06ece7a408f17f3240e031c052ef857ebaf34f4
# Parent  508b4f6431ae79dc2760267d74d92569f881e916
recover from Unicode accident in 4abd07cd034f;

diff -r 508b4f6431ae -r e06ece7a408f NEWS
--- a/NEWS	Mon Feb 10 22:33:03 2020 +0100
+++ b/NEWS	Mon Feb 10 22:40:00 2020 +0100
@@ -3314,9 +3314,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.