diff options
| author | Juergen Daubert <jue@jue.li> | 2018-09-14 12:16:53 +0200 |
|---|---|---|
| committer | Juergen Daubert <jue@jue.li> | 2018-09-14 12:16:53 +0200 |
| commit | fc66e6bea49d573423c5b3658b17fe9cd772cdb3 (patch) | |
| tree | 5f68692f5c5261386076e19e601f6624258bf9f5 /php-gettext/Pkgfile | |
| parent | f2f94c664ca5abb97e06870e00af64b5df44e26f (diff) | |
| download | opt-fc66e6bea49d573423c5b3658b17fe9cd772cdb3.tar.gz opt-fc66e6bea49d573423c5b3658b17fe9cd772cdb3.tar.xz | |
[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
Diffstat (limited to 'php-gettext/Pkgfile')
| -rw-r--r-- | php-gettext/Pkgfile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/php-gettext/Pkgfile b/php-gettext/Pkgfile index da172a577..be7361d35 100644 --- a/php-gettext/Pkgfile +++ b/php-gettext/Pkgfile @@ -5,7 +5,7 @@ # Depends on: name=php-gettext -version=7.2.9 +version=7.2.10 release=1 source=(http://www.php.net/distributions/php-$version.tar.xz) |