diff --git a/repos/os/run/ping.run b/repos/os/run/ping.run index 6960021972..8274667e7b 100644 --- a/repos/os/run/ping.run +++ b/repos/os/run/ping.run @@ -113,7 +113,7 @@ append config { - +