fix: better error if push server didn't set version in redis#628
Merged
icewind1991 merged 1 commit intomainfrom Jul 11, 2025
Merged
fix: better error if push server didn't set version in redis#628icewind1991 merged 1 commit intomainfrom
icewind1991 merged 1 commit intomainfrom
