Revision 1fc37345b3a8c28282b982c60d720ada288d0497

Committed on 27/12/2016 7:50 am by André R <ar@ez.no> [GitHub Diff]

Update to use redis 3.1.0 across all php versions