25 Jan
2006
25 Jan
'06
10:40 a.m.
If the problem wasn't mentioned before, then I'd suggest to fix it. The solution is quite easy to introduce and AFAICT has no negative side effects. Does anybody object to this?
OK will apply.
Also, the comment in line 256 is out-of-date after changes made by John Maddock in 25 Jan 2004:
Well spotted, I'll update that with the rationale for the change. Thanks, John.