Nice catch, thanks! Applied to trunk (r1717), thus I didn't merge your branch directly (it doesn't apply to trunk).
« Back to merge proposal
Nice catch, thanks! Applied to trunk (r1717), thus I didn't merge your branch directly (it doesn't apply to trunk).