On Wed, 17 Nov 2021 20:59:16 -0700 David Ahern wrote: > On 11/17/21 5:14 PM, Riccardo Paolo Bestetti wrote: > >> That was done intentionally in commit 0ce779a9f501 > > > > Should I remove this from the patch? Is there a particular reason why > > this was done in ping.c but not in the other places? > > exactly. I did not see the big deal about changing it. Applied, thanks!
