* On 24 Nov 2012, Jamie Paul Griffin wrote:
> I have found the source of the problem: the script failed when
> expiring messages in /var/mail/... but not is mailboxes in my $HOME
> directory; so, it was a permissions issue which i've now resolved.
>
> Sorry to have pestered you David, especially th
I have found the source of the problem: the script failed when expiring
messages in /var/mail/... but not is mailboxes in my $HOME directory; so, it
was a permissions issue which i've now resolved.
Sorry to have pestered you David, especially there was no real problem, just a
simple matter of
