From 9a6e937f84a350f5835189e7de4e8ca0babcc714 Mon Sep 17 00:00:00 2001
From: ArduinoBot <bot@arduino.cc>
Date: Mon, 20 Mar 2023 01:08:48 +0000
Subject: [PATCH] Add submission # 2584

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

diff --git a/registry.txt b/registry.txt
index c70f82ee..e63acfa8 100644
--- a/registry.txt
+++ b/registry.txt
@@ -5759,3 +5759,4 @@ https://github.com/WK-Software56/AdvKeyPad.git|Contributed|AdvKeyPad
 https://github.com/igor-krechetov/hsmcpp-arduinoide.git|Contributed|hsmcpp
 https://github.com/nullptr-deref/ms5540c-library.git|Contributed|ms5540c
 https://github.com/malisipi/joystick_5pin.git|Contributed|Joystick 5-Pin
+https://github.com/TheAngryRaven/DovesLapTimer.git|Contributed|DovesLapTimer