From 509134e81657cd0a1206c3d16d11d252521d0129 Mon Sep 17 00:00:00 2001
From: agdl <a.guadalupi@arduino.cc>
Date: Thu, 9 Feb 2017 09:44:09 +0100
Subject: [PATCH] Added
 https://github.com/arduino/Arduino/issues/5958#issuecomment-278518540

---
 registry.txt | 1 +
 1 file changed, 1 insertion(+)

diff --git a/registry.txt b/registry.txt
index c2a8d793..69541b35 100644
--- a/registry.txt
+++ b/registry.txt
@@ -942,6 +942,7 @@ https://github.com/UIPEthernet/UIPEthernet.git|Contributed|UIPEthernet
 https://github.com/pololu/romi-32u4-arduino-library.git|Contributed|Romi32U4
 
 https://github.com/udoklein/dcf77.git|Contributed|dcf77_xtal
+https://github.com/phpoc/arduino.git|Contributed|PHPoC
 
 # With parenthesis
 #https://github.com/plasticrake/OpcServer.git|Contributed|Open Pixel Control (OPC) Server