Fix has landed in trunk. Thanks for an _excellent_ bug report. The easy recipe for reproducing the problem made it much easier, and much more attractive, to fix.
Fix has landed in trunk. Thanks for an _excellent_ bug report. The easy recipe for reproducing the problem made it much easier, and much more attractive, to fix.