Patch applied in r22436; ticket is resolved.

Reply via email to