Thanks for tracking down the problem, timtoo, and thanks for the patch, Patrick.
What I ended up committing was just slightly different than Patrick's patch.
Thanks for tracking down the problem, timtoo, and thanks for the patch, Patrick.
What I ended up committing was just slightly different than Patrick's patch.