Ajout paquet php-redis

2019-01-04 12:17:19 +01:00 · 2019-01-04 12:17:19 +01:00 · 4704013c54
Parent c4b89a57f6
--- a/HowtoRedis.md
+++ b/HowtoRedis.md
@ -156,6 +156,8 @@ $ tar --exclude debian --exclude .git -cvzf ../php5-redis_0.1~git20120519.orig.t
 $ git-buildpackage -us -uc
 ~~~

+Sur Debian Stretch, on peut aussi installer le paquet ~php-redis~.
+

 ### Sessions PHP avec Redis