From 645c764c7cf40c44db8db45268359e9bd589eb49 Mon Sep 17 00:00:00 2001
From: ArduinoBot <bot@arduino.cc>
Date: Sun, 9 Nov 2025 19:27:37 +0000
Subject: [PATCH] Add submission # 7231

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

diff --git a/registry.txt b/registry.txt
index 65f81bec..56c5d20d 100644
--- a/registry.txt
+++ b/registry.txt
@@ -8573,3 +8573,4 @@ https://github.com/dowerner/Arduino-Http-Requests.git|Contributed|HttpRequests
 https://github.com/juano2310/SuperCAN.git|Contributed|Super CAN
 https://github.com/Protocentral/SensythingCore.git|Contributed|SensythingCore
 https://github.com/sintrb/ANSI_Output.git|Contributed|ANSI_Output
+https://github.com/mlaass/wamr-esp32-arduino.git|Contributed|WAMR-ESP32