diff etc/sex.6 @ 9633:3c1d373d9125

(rmail-get-new-mail): If display-time is in use, call display-time-filter to update the Mail indicator.
author Richard M. Stallman <rms@gnu.org>
date Fri, 21 Oct 1994 00:48:18 +0000
parents 825bf20b2122
children 4114b11414e4
line wrap: on
line diff