Revision 124b7e2217aedcbfc2aef716fb3580ff9c871a30

Committed on 27/12/2016 12:14 pm by André R <andre.romcke@gmail.com> [GitHub Diff]

Merge pull request #21 from ezsystems/php7.1

Add PHP 7.1 and update redis extension