CVS: cvs.openbsd.org: ports

[Stuart Henderson]

CVSROOT:        /cvs
Module name:    ports
Changes by:     st...@cvs.openbsd.org   2018/12/05 13:05:18

Modified files:
        lang/php/7.2   : Makefile distinfo 

Log message:
update to php-7.2.13