A Django Channels channel layer that uses Redis as its backing store,
and supports both a single-server and sharded configurations, as well
as group support.
Signed-off-by: Adam Duskett <Aduskett@gmail.com>
[Thomas:
- alphabetic ordering of selects in Config.in
- drop redis dependency
- add missing python3 dependency]
Signed-off-by: Thomas Petazzoni <thomas.petazzoni@bootlin.com>