Hello,

I am planning to commit the ICMP patches I posted last week (with
the suggested changes) in the next day or so. Please let me know if you
disagree with this.

Regards,

christos