Re: rmail-default-file vs. (deleted) rmail-default-rmail-file

[Glenn Morris]

"Alfred M. Szmidt" wrote:

> The current value for rmail-default-file is "~/xmail", but in
> 2009-01-22 rmail used rmail-default-rmail-file which was "~/XMAIL",
> which was the default when using rmail-output.

AFAICS, rmail-output used rmail-default-file in 22 the same as it does
now.

rmail-output-to-rmail-file used rmail-default-rmail-file, but this
function no longer exists.

It is already mentioned in NEWS that `o', which was bound to
rmail-output-to-rmail-file, is now bound to rmail-output.