ping: fix wrong sign extension of packet id (bug 1373)
1 file changed