Avoid installing Redis library if it's not used#574

Merged

SimFG merged 1 commit intozilliztech:devfrom leio10:patch-1

Nov 25, 2023

+1-2

Commits on Nov 23, 2023

fix: avoid loading redis if not needed
leio10
authored