Juergen Daubert fc66e6bea4 [notify] php: update to 7.2.10 ... security release with several minor bug fixes, see http://www.php.net/ChangeLog-7.php#7.2.10		2018-09-14 12:16:53 +02:00
..
.footprint	php: update to 7.2.4	2018-03-30 12:49:11 +02:00
.signature	[notify] php: update to 7.2.10	2018-09-14 12:16:53 +02:00
Pkgfile	[notify] php: update to 7.2.10	2018-09-14 12:16:53 +02:00