5.04.2 schedule?

Ralf Hinze ralf@informatik.uni-bonn.de
Thu, 24 Oct 2002 18:43:23 +0200

> We're wondering here whether we should push out 5.04.2 soon, or wait a
> while and see what other bugs turn up.
> Opinions, anyone?

Release often, release soon! Why not put out a source distribution
on a regular basis, say, every month or so (I realize that binary
distributions are a lot of work).

Cheers, Ralf