From f71e19e6f45978d03e3c5e3fff0cdc8a0187153c Mon Sep 17 00:00:00 2001
From: Marc Beninca <marc-beninca@rwx.work>
Date: Thu, 15 Aug 2019 14:54:23 +0200
Subject: [PATCH] ping

---
 in/personal/server/index.rst | 1 +
 1 file changed, 1 insertion(+)

diff --git a/in/personal/server/index.rst b/in/personal/server/index.rst
index 80736fb..33377dd 100644
--- a/in/personal/server/index.rst
+++ b/in/personal/server/index.rst
@@ -169,6 +169,7 @@ Prepare a grub.cfg
 * completion
 * network
 * interfaces
+* iputils-ping
 * basics
 * openssh-server fixes (sshd user, /run/sshd)
 * live-boot