Update lang/php72 to version 7.2.3_2
authorDPorts Builder <nobody@home.ok>
Mon, 19 Mar 2018 18:16:16 +0000 (11:16 -0700)
committerDPorts Builder <nobody@home.ok>
Mon, 19 Mar 2018 18:16:16 +0000 (11:16 -0700)
commitf70eccf8e247525196ba4b45a44e2d000c756c5b
treee39db57b123779fbdb03320a26cbd329829bd231
parent0cc5c0a2431a856c902ac750136dbb0d70556097
Update lang/php72 to version 7.2.3_2
lang/php72/Makefile
lang/php72/Makefile.ext