From ba9cfa0b87e644ec6841c8ac7cebc7ec06f54da3 Mon Sep 17 00:00:00 2001
From: Cristian Maglie <c.maglie@arduino.cc>
Date: Sat, 25 Apr 2020 19:55:13 +0200
Subject: [PATCH] Added lib ipMIDI

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

diff --git a/registry.txt b/registry.txt
index 14ba8aed..74839c13 100644
--- a/registry.txt
+++ b/registry.txt
@@ -3057,3 +3057,4 @@ https://github.com/marhar/ArrbotMonitor.git|Contributed|ArrbotMonitor
 https://github.com/AloriumTechnology/XLR8PID.git|Contributed|XLR8PID
 https://github.com/JemRF/max7219.git|Contributed|max7219
 https://github.com/DaleGia/ESPFlash.git|Contributed|ESPFlash
+https://github.com/lathoub/Arduino-ipMIDI.git|Contributed|ipMIDI