[redis]: build redis-tools-dbgsym instead of redis-server-dbgsym#3125
Merged
lguohan merged 1 commit intosonic-net:masterfrom Jul 5, 2019
Merged
[redis]: build redis-tools-dbgsym instead of redis-server-dbgsym#3125lguohan merged 1 commit intosonic-net:masterfrom
lguohan merged 1 commit intosonic-net:masterfrom
