# HG changeset patch
# User Andreas Lochbihler
# Date 1465369786 -7200
# Node ID c7c76fa73a5656dd8caea1b0043bfa9303d85afc
# Parent  c493859d426798b06a47da2e1f581bca31dfe094
repair Unicode mess-up in c493859d4267

diff -r c493859d4267 -r c7c76fa73a56 NEWS
--- a/NEWS	Wed Jun 08 09:07:05 2016 +0200
+++ b/NEWS	Wed Jun 08 09:09:46 2016 +0200
@@ -1266,9 +1266,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.