tree 23b5161074ecdde7134daf8982f348a75f9c2f60
parent 7de32c1f2de31b431c0f78ee95742cdc5274c3e2
author Davide Pesavento <davidepesa@gmail.com> 1564270325 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1564270513 -0400

pingserver: change the short form of --freshness to -f

-x is still accepted but will print a deprecation warning

Change-Id: Ibc2e9750006a450c85d19c432ec1a02416cdc174