From cbac1664be24568d5628e0529cbdfb8a380c1c93 Mon Sep 17 00:00:00 2001
From: Cristian Maglie <c.maglie@arduino.cc>
Date: Wed, 15 Nov 2017 11:17:16 +0100
Subject: [PATCH] Added lib StensTimer

https://github.com/arduino/Arduino/issues/6909
---
 registry.txt | 1 +
 1 file changed, 1 insertion(+)

diff --git a/registry.txt b/registry.txt
index f3814c78..d5387d23 100644
--- a/registry.txt
+++ b/registry.txt
@@ -1279,3 +1279,4 @@ https://bitbucket.org/geekfactory/gfbutton.git|Contributed|GFButton
 https://github.com/closedcube/ClosedCube_SHT31D_Arduino.git|Contributed|ClosedCube SHT31D
 https://github.com/r-downing/PersWiFiManager.git|Contributed|PersWiFiManager
 https://github.com/adafruit/Adafruit_MP3.git|Contributed|Adafruit_mp3
+https://gitlab.com/arduino-libraries/stens-timer.git|Contributed|StensTimer