diff make-dist @ 5692:bb9b20ea092d

(rmail-make-in-reply-to-field): Discard text properties from the address before printing it.
author Richard M. Stallman <rms@gnu.org>
date Sat, 29 Jan 1994 23:56:27 +0000
parents 27013efefaab
children 76d9b1408e5c
line wrap: on
line diff