Revision 66929a3fd7e79a5f857de471612ba8eefd91955f

Committed on 19/04/2017 2:28 am by André R <ar@ez.no> [GitHub Diff]

Sync up docker file for PHP 7.0 with 7.1