From 0552984480b6086b47c619f3b798412b45f0afad Mon Sep 17 00:00:00 2001
From: Cristian Maglie <c.maglie@arduino.cc>
Date: Thu, 11 Oct 2018 21:09:55 +0200
Subject: [PATCH] Added lib arduino-timer

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

diff --git a/registry.txt b/registry.txt
index 76eb5ea6..82daac3e 100644
--- a/registry.txt
+++ b/registry.txt
@@ -1899,3 +1899,4 @@ https://github.com/xoseperez/hlw8012.git|Contributed|HLW8012
 https://bitbucket.org/xoseperez/pcf8583.git|Contributed|PCF8583
 https://github.com/luni64/TeensyStep.git|Contributed|TeensyStep
 https://github.com/t-in/cloudchip-iot.git|Contributed|Cloudchip Library
+https://github.com/contrem/arduino-timer.git|Contributed|arduino-timer