Re: cvs commit: hugs98/src config.h.in

I agree completely, but I was wistfully hoping that we could do a release even sooner. (It will be a bit of a re-org, killing options.h as well.)

Would it be worth creating a branch for the release which will be what is used when cutting test releases, when checking portability, for doing the release and for doing any post-release bugfixes. Meanwhile, in another branch, Sven can be moving the state of Hugs forwards. (I'm trying to be non-commital about which of these two branches should be 'HEAD' and which should be a side-branch - I can see arguments on both sides though convention is that the development branch would be HEAD and the release branch would not be.) -- Alastair