diff options
| author | Juergen Daubert <jue@jue.li> | 2018-12-07 14:19:05 +0100 |
|---|---|---|
| committer | Juergen Daubert <jue@jue.li> | 2018-12-07 14:19:05 +0100 |
| commit | a4704073ad3dcecb8067c77cb6825271745f1a73 (patch) | |
| tree | f7c23ce9f3319024848bfe9c1f26e46a67650bd9 /php-gettext/Pkgfile | |
| parent | 51ac0cd11b0badcf755defbd1fd6b5cfe084107d (diff) | |
| download | opt-a4704073ad3dcecb8067c77cb6825271745f1a73.tar.gz opt-a4704073ad3dcecb8067c77cb6825271745f1a73.tar.xz | |
[notify] php: update to 7.2.13
security update, see http://www.php.net/ChangeLog-7.php#7.2.13
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 604c4a0a9..54f3e2f82 100644 --- a/php-gettext/Pkgfile +++ b/php-gettext/Pkgfile @@ -5,7 +5,7 @@ # Depends on: name=php-gettext -version=7.2.12 +version=7.2.13 release=1 source=(http://www.php.net/distributions/php-$version.tar.xz) |