Ok, patch canceled.

Paolo.

Reply via email to