Update devel/php71-intl to version 7.1.16
authorDPorts Builder <nobody@home.ok>
Sun, 8 Apr 2018 14:54:18 +0000 (07:54 -0700)
committerDPorts Builder <nobody@home.ok>
Sun, 8 Apr 2018 14:54:18 +0000 (07:54 -0700)
commitf8cc960e8a563981f900ac1b45acfa80a8f5002c
treee21ca3cfd1135cc5ab2dfa427e8417507a1febed
parent5ad3518f2d183c41a07db04e10fc60d26935b0af
Update devel/php71-intl to version 7.1.16
devel/php71-intl/Makefile