Re: ping: Use "sed -n …" instead of "sed s/…/p -e d" in s-header-vars

[Olivier Hainque]

On May 16, 2012, at 08:29 , Paolo Bonzini wrote:
> Ok.

 Applied, Thanks Paolo :)

 Opinion on http://gcc.gnu.org/ml/gcc-patches/2012-04/msg00274.html ?

 Thanks in advance,

 Olivier