On 24-Jul-2002 at 15:30:45 Philip Hazel wrote:
> Defer isn't allowed because you don't want ordinary users to be able to
> use it. At least, that's my judgement. Fail, I guess, is marginal. It
> probably does no harm for ordinary users to be able to use it, as indeed
>:blackhole: does no harm.
>
> But it's too late to make incompatible changes now. I promised. So is it
> worth actually making any change at all?
>
No, not really.
Thanks,
John.
------------------------------------------------------------------------
John Horne, University of Plymouth, UK Tel: +44 (0)1752 233914
E-mail: jhorne@???
PGP key available from public key servers
