From 0317a32c14c057a716fd791953ee437e8c6d8ad7 Mon Sep 17 00:00:00 2001
From: ArduinoBot <bot@arduino.cc>
Date: Thu, 25 Jan 2024 12:52:06 +0000
Subject: [PATCH] Add submission # 3951

https://github.com/arduino/library-registry/pull/3951
---
 registry.txt | 1 +
 1 file changed, 1 insertion(+)

diff --git a/registry.txt b/registry.txt
index a5c8411c..530218d3 100644
--- a/registry.txt
+++ b/registry.txt
@@ -6715,3 +6715,4 @@ https://github.com/danmowehhuk/AD75019.git|Contributed|AD75019
 https://github.com/Xinyuan-LilyGO/LilyGo-T-RGB.git|Contributed|LilyGo-T-RGB
 https://github.com/FabioNMI/fancyTerminal.git|Contributed|FancyTerminal
 https://gitlab.com/riscv-vega/vega-sensor-libraries/communication/vega_arduinoble.git|Contributed|VEGA_ArduinoBLE
+https://github.com/mathieucarbou/MycilaTaskMonitor.git|Contributed|MycilaTaskMonitor