# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 1005850418 0
# Node ID 418fff19f92efa900c4f50ca39e15b480d3bf958
# Parent  304a46db62e45c8da564e91d19ae85c6257f7821
Minor clarification.

diff -r 304a46db62e4 -r 418fff19f92e etc/NEWS
--- a/etc/NEWS	Thu Nov 15 16:16:23 2001 +0000
+++ b/etc/NEWS	Thu Nov 15 18:53:38 2001 +0000
@@ -2413,7 +2413,8 @@
 
 ** Since `format' preserves text properties, the idiom
 `(format "%s" foo)' no longer works to copy and remove properties.
-Use `copy-sequence' and `set-text-properties'.
+Use `copy-sequence' to copy the string, then use `set-text-properties'
+to remove the properties of the copy.
 
 ** Since the `keymap' text property now has significance, some code
 which uses both `local-map' and `keymap' properties (for portability)