No one spoke up, and no patch was resubmitted.  So I am resolving the
ticket.

kid51

Reply via email to