From 77afd0107f5c03f798e97832ab3e5c70175ef845 Mon Sep 17 00:00:00 2001
From: Cristian Maglie <c.maglie@arduino.cc>
Date: Tue, 9 Oct 2018 17:51:13 +0200
Subject: [PATCH] Added lib RemoteDebug

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

diff --git a/registry.txt b/registry.txt
index ed3872cd..e9b5063c 100644
--- a/registry.txt
+++ b/registry.txt
@@ -1893,3 +1893,4 @@ https://github.com/porrey/max1704x.git|Contributed|MAX1704X
 https://github.com/Blake-Tourneur/sevenSeg.git|Contributed|singleSevSeg
 https://github.com/end2endzone/SoftTimers.git|Contributed|SoftTimers
 https://github.com/AllWize/allwize.git|Contributed|AllWize
+https://github.com/JoaoLopesF/RemoteDebug.git|Contributed|RemoteDebug