# HG changeset patch
# User wenzelm
# Date 1616367414 -3600
# Node ID b138cdd22cfb84f96788540a566b63ad08e29c76
# Parent  552a9dd5b4a249cafe04004ad7ef4f1f60b00360
tuned;

diff -r 552a9dd5b4a2 -r b138cdd22cfb NEWS
--- a/NEWS	Sun Mar 21 23:24:20 2021 +0100
+++ b/NEWS	Sun Mar 21 23:56:54 2021 +0100
@@ -877,8 +877,8 @@
 
 *** Document preparation ***
 
-* High-quality blackboard-bold fonts from "txmia" (package "txfonts"),
-for A..Z.
+* High-quality blackboard-bold symbols from font "txmia" (package
+"txfonts"), for A..Z.
 
 * Document markers are formal comments of the form \<^marker>\<open>marker_body\<close> that
 are stripped from document output: the effect is to modify the semantic