The issue should be fixed in r12760. Setting to fix released, since the bug didn't appear in any stable release.
The issue should be fixed in r12760.
Setting to fix released, since the bug didn't appear in any stable release.