From 462a15cd58e2f6e5f71c20829848f552207ea332 Mon Sep 17 00:00:00 2001
From: ArduinoBot <bot@arduino.cc>
Date: Sun, 24 Dec 2023 10:15:46 +0000
Subject: [PATCH] Add submission # 3794

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

diff --git a/registry.txt b/registry.txt
index 1f740d89..ae6d00a4 100644
--- a/registry.txt
+++ b/registry.txt
@@ -6610,3 +6610,4 @@ https://github.com/GyverLibs/GSON.git|Contributed|GSON
 https://github.com/siroshy/MovingPlatform.git|Contributed|MovingPlatvorm
 https://github.com/rogerjames99/json2asw-arduino.git|Contributed|json2asw
 https://github.com/AlexandreHiroyuki/DataTome.git|Contributed|DataTome
+https://github.com/RobTillaart/MS5837.git|Contributed|MS5837