diff make-dist @ 102604:f1d999427056

(rmail-retry-failure): Discard rmail-ignored-headers.
author Richard M. Stallman <rms@gnu.org>
date Mon, 16 Mar 2009 13:42:31 +0000
parents c86e2f4ec9f8
children a4c64847c698
line wrap: on
line diff