From f118ea8e0476ea8590cf2d373e71be8e68c43774 Mon Sep 17 00:00:00 2001
From: Rick van de Loo <rickvandeloo@gmail.com>
Date: Mon, 5 Feb 2018 16:23:13 +0100
Subject: [PATCH] allow building for PHP 7.1

---
 package.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/package.xml b/package.xml
index 969cc00..dda6dbf 100644
--- a/package.xml
+++ b/package.xml
@@ -32,7 +32,7 @@ php-hypernode 220160309.1
   <required>
    <php>
     <min>5.3.0</min>
-    <max>7.1.0</max>
+    <max>7.2.0</max>
     <exclude>6.0.0</exclude>
    </php>
    <pearinstaller>