From 008435fb2a81df5dbcb6dced6a25b2f8b7ec4fe3 Mon Sep 17 00:00:00 2001
From: Cristian Maglie <c.maglie@arduino.cc>
Date: Mon, 16 Apr 2018 10:27:52 +0200
Subject: [PATCH] Added lib ESP8266-ping

https://github.com/arduino/Arduino/issues/7457
---
 registry.txt | 1 +
 1 file changed, 1 insertion(+)

diff --git a/registry.txt b/registry.txt
index 0a226e43..99cf015c 100644
--- a/registry.txt
+++ b/registry.txt
@@ -1582,3 +1582,4 @@ https://github.com/Seeed-Studio/Wio_LTE_Arduino_Library.git|Contributed|Wio LTE
 https://github.com/hippymulehead/FastDigitalPin.git|Contributed|Romans Audio FastDigitalPin Library
 https://github.com/adafruit/Adafruit_QSPI.git|Contributed|Adafruit QSPI
 https://github.com/bluemurder/EveryTimer.git|Contributed|EveryTimer
+https://github.com/bluemurder/esp8266-ping.git|Contributed|ESP8266-ping