(make_buffer_string): Copy properties whenever we have some
authorRichard M. Stallman <rms@gnu.org>
Sat, 9 Apr 1994 19:34:45 +0000 (19:34 +0000)
committerRichard M. Stallman <rms@gnu.org>
Sat, 9 Apr 1994 19:34:45 +0000 (19:34 +0000)
commit36b0d50ec053f2e26be268f4b5f815aaa37167e0
treebd00d7f0ce4cd014333f1c14b52f398fd87666e6
parent2ff52571a601355c99c04a5e6db11158737aa501
(make_buffer_string): Copy properties whenever we have some
even if they don't change.
src/editfns.c