apache/openwhisk-runtime-php

update PHP 7.2 to 7.2.13

csantanapr opened this issue 6 years ago · 0 comments

csantanapr commented 6 years ago

pick up latest patch release http://us3.php.net/ChangeLog-7.php#7.2.13