Re: use of "rm" command.

[Paul Eggert]

David Relson <[EMAIL PROTECTED]> writes:

> FWIW, the following patch corrects the problem:

Thanks; installed.