Update redis to 2.8.13