From 0afe78c1054d903e70df06a2fd43d8ffa62503ef Mon Sep 17 00:00:00 2001
From: Cristian Maglie <c.maglie@arduino.cc>
Date: Tue, 30 Oct 2018 14:58:41 +0100
Subject: [PATCH] Added lib GMSN Pure Digit

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

diff --git a/registry.txt b/registry.txt
index 0b1607f9..7e5f4f0f 100644
--- a/registry.txt
+++ b/registry.txt
@@ -1929,3 +1929,4 @@ https://github.com/end2endzone/AnyRtttl.git|Contributed|AnyRtttl
 https://github.com/Rhomb-io/rhio-pinmap.git|Contributed|rhio-pinmap
 https://github.com/ProgettoCompany/Progetto_One_Pin_Keypad_Arduino_Library.git|Contributed|Progetto One Pin Keypad
 https://github.com/sparkfun/SparkFun_SHTC3_Arduino_Library.git|Contributed|SparkFun SHTC3 Humidity and Temperature Sensor Library
+https://github.com/robgmsn/PureDigit.git|Contributed|GMSN Pure Digit