Jarek Radosz 040e1650f6
DEV: Remove old redis option (#17427)
`Redis.exists_returns_integer` is now true by default
2022-07-11 22:15:30 +02:00
..
2022-04-28 11:51:03 +02:00
2022-01-08 23:39:46 +01:00