diff options
| author | Tim Biermann <tbier@posteo.de> | 2022-02-16 13:03:22 +0100 |
|---|---|---|
| committer | Tim Biermann <tbier@posteo.de> | 2022-02-16 13:03:22 +0100 |
| commit | 0a319deb54bcdf735ff150a3c3678175871c0c46 (patch) | |
| tree | e7be4248a6a0152ba49a3bbf650d21db88f0dfa7 /php-redis/Pkgfile | |
| parent | 3c277e8dd772383477749b8bc1e0eeec164e3478 (diff) | |
| download | contrib-0a319deb54bcdf735ff150a3c3678175871c0c46.tar.gz contrib-0a319deb54bcdf735ff150a3c3678175871c0c46.tar.xz | |
php-redis: 5.3.6 -> 5.3.7
Diffstat (limited to 'php-redis/Pkgfile')
| -rw-r--r-- | php-redis/Pkgfile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/php-redis/Pkgfile b/php-redis/Pkgfile index 2a0e835fb..9f467be6a 100644 --- a/php-redis/Pkgfile +++ b/php-redis/Pkgfile @@ -5,7 +5,7 @@ # Optional: redis name=php-redis -version=5.3.6 +version=5.3.7 release=1 source=(https://github.com/phpredis/phpredis/archive/$version/$name-$version.tar.gz) |