CVS: cvs.openbsd.org: ports

[Stuart Henderson]

CVSROOT:        /cvs
Module name:    ports
Changes by:     st...@cvs.openbsd.org   2019/09/27 10:00:56

Modified files:
        lang/php/7.2   : Makefile distinfo 
        lang/php/7.2/patches: patch-php_ini-production 

Log message:
bugfix update to php-7.2.23