From 9397dda13506f278645286ba2849a61b506cbffb Mon Sep 17 00:00:00 2001
From: ArduinoBot <bot@arduino.cc>
Date: Tue, 18 Mar 2025 14:58:01 +0000
Subject: [PATCH] Add submission # 6073

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

diff --git a/registry.txt b/registry.txt
index cb4431c4..3d926434 100644
--- a/registry.txt
+++ b/registry.txt
@@ -7981,3 +7981,4 @@ https://github.com/mlesniew/PicoSyslog.git|Contributed|PicoSyslog
 https://github.com/Jonathan-Z-Code/DHT11_Sensor.git|Contributed|DHT11_Sensor
 https://github.com/alkonosst/RTOScppESP32.git|Contributed|RTOScppESP32
 https://github.com/CelliesProjects/OpenStreetMap-esp32.git|Contributed|OpenStreetMap-esp32
+https://github.com/MIPSLabs/MipsLib.git|Contributed|MipsLib