OK, I've committed the fix to 7.7. Not sure whether it qualifies for a
changelog entry, as it's a bugfix rather than a new feature.
Bill
On Jul 22, 2008, at 7:09 AM, Stephen R. van den Berg wrote:
That qualifies as a bug, and should go into 7.7, IMHO.
