The fix for bug 172501 (r10253: double-check when a user sets the patch flag to a value that seems to be inconsistent) should also fix this bug, as Karl notes.
The fix for bug 172501 (r10253: double-check when a user sets the patch flag to a value that seems to be inconsistent) should also fix this bug, as Karl notes.