From 11138607877a3a8fcb4959d7fbed7af30c390d94 Mon Sep 17 00:00:00 2001
From: ArduinoBot <bot@arduino.cc>
Date: Tue, 6 Sep 2022 19:35:21 +0000
Subject: [PATCH] Add submission # 1812

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

diff --git a/registry.txt b/registry.txt
index b9bccccf..75da92d3 100644
--- a/registry.txt
+++ b/registry.txt
@@ -5262,3 +5262,4 @@ https://github.com/dnzayan/ESP32_Pinoo.git|Contributed|ESP32_Pinoo
 https://github.com/ndomx/MCP23017-Arduino-Library.git|Contributed|MCP23017 Port Expander
 https://github.com/RLL-Blue-Dragon/NXP_MPXA4250A_00000057.git|Contributed|NXP_MPXA4250_BSL00000057
 https://github.com/koendv/CheckDS18B20.git|Contributed|CheckDS18B20
+https://github.com/luni64/IntervalTimerEx.git|Contributed|IntervalTimerEx