Jochen Neumeister fa0d2e76ea Update to 7.2.12 ...

Changelog:
 - http://www.php.net/ChangeLog-7.php#7.2.12

Approved by:	tz (implicit)
Sponsored by:	Netzkommune GmbH

2018-11-10 17:33:27 +00:00

..

files

…

Makefile

…