Mark Jones wrote:
> I looked into this and submitted a patch to fix it and several other
> bugs that had been reported in an internal version of Hugs. My message,
> dated September 1, is attached below. I'd assumed that these patches
> had made their way into the September release, but now I download a
> copy, and find that they did not.
Sorry about this, Mark. I don't know how this happened,
cause I remember adding these diffs, and testing out the
effects of the diffs.
Oh well, they *will* appear in the soon to appear November release.
I'm adding them (and checking them in) this afternoon into the Hugs
repository.
Andy Gill
