On Aug 1, 2008, at 12:22 AM, Simon Burge wrote:
I'm currently of the opinion that the second option above is the best fix, but I can certainly see the benefits of a magic number change.
Bumping the magic number is the correct change. -- thorpej