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/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/Pkgfile')
| -rw-r--r-- | php/Pkgfile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/php/Pkgfile b/php/Pkgfile index 602b7a8c1..f9f325407 100644 --- a/php/Pkgfile +++ b/php/Pkgfile @@ -4,7 +4,7 @@ # Depends on: libpcre libxml2 curl db gdbm name=php -version=7.2.12 +version=7.2.13 release=1 source=(http://php.net/distributions/php-$version.tar.xz) |