From 6bc86f3fe74cb4d9a16c804a0a04ef64f67e24da Mon Sep 17 00:00:00 2001
From: Rick van de Loo <rickvandeloo@gmail.com>
Date: Fri, 20 Jul 2018 16:54:26 +0200
Subject: [PATCH] allow building for php7.2

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

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