From 4704013c545b78eed6702444fb41582a04d35deb Mon Sep 17 00:00:00 2001
From: abenmiloud <abenmiloud+gitit@evolix.fr>
Date: Fri, 4 Jan 2019 12:17:19 +0100
Subject: [PATCH] Ajout paquet php-redis

---
 HowtoRedis.md | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/HowtoRedis.md b/HowtoRedis.md
index abea9910..a56b7b75 100644
--- 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