tree 3a47a1d1f7afc34ebdb186701bc508ad83dbdfaf
parent 1df2cff19e039315ab81c71b711a54fdde6838b9
author Davide Pesavento <davidepesa@gmail.com> 1707768391 -0500
committer Davide Pesavento <davidepesa@gmail.com> 1707768391 -0500

ping: use a member function rather than `operator<<` for stats

Change-Id: I8e2d469d80d9b5d5e82d14e9f3039a464a7eeae5