Updated Redis to version 2.8.17