bug#71438: [PATCH] Allow ping to receive optional arguments

[TOMAS FABRIZIO ORSI]

Hello Stefan and Eli,

Here I added the use of a prefix argument. I tested and seems to be
working fine ^_^. As a matter of fact, I think it's even better now!
Pretty handy thing.

I tried my best to break at the 80 character column, whilst
maintaining readability.
I also went back on the variable ping-program-options'
name change. Eli raised a good point.

Would appreciate some feedback.

Best regards,

- Fabrizio

0001-ping-Added-optional-arguments.patch
Description: Text Data