Merge Redis into 1.8.0 release.
Merge Redis into 1.8.0 release.