Closed wasperen2 closed 2 months ago
fixes #39
I guess this is no longer necessary to fix #29 since we will have only one way of initializing the redis store as shown by #35
fixes #39