From 1a8449f456446e797f1081a7a27852a060cddf77 Mon Sep 17 00:00:00 2001
From: Cristian Maglie <c.maglie@arduino.cc>
Date: Wed, 12 May 2021 00:08:24 +0200
Subject: [PATCH] Added lib MicroShell

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

diff --git a/registry.txt b/registry.txt
index fe71f456..e2fe1194 100644
--- a/registry.txt
+++ b/registry.txt
@@ -3957,3 +3957,4 @@ https://github.com/joshua-8/ESP32_easy_wifi_data.git|Contributed|ESP32_easy_wifi
 https://github.com/seralo/ZzzButton.git|Contributed|ZzzButton
 https://github.com/khoih-prog/FlashStorage_SAMD.git|Contributed|FlashStorage_SAMD
 https://github.com/akvavit01/MissionList.git|Contributed|MissionList
+https://github.com/marcinbor85/microshell.git|Contributed|MicroShell