On Fri, Jan 31, 2003 at 12:10:59PM +1100, Simon Burge wrote:

=> This was reported on port-alpha a couple of days ago, and there's a
=> discussion on tech-kern on how to solve it.  It should hopefully be
=> fixed in the next couple of days (if not sooner).

Thanks for the info.  I've been behind in catching up with my e-mail,
so I haven't come across that message yet.  I'm glad to hear a fix
is in the offing.

Cheers,

Paul.

e-mail: paul@gromit.dlib.vt.edu

"Without music to decorate it, time is just a bunch of boring production
 deadlines or dates by which bills must be paid."
        --- Frank Vincent Zappa