Re: group permission

[Peter J. Braam]

We find /coda/tmp really handy around our cluster.  No tokens needed,
available everywhere.

Also, the sticky bit issue applies to mail as well as tmp: it needs a
solution.

- Peter -