Skip to content
GitLab
Explore
Sign in
Switch back to PHP 7.0
Code
Review changes
Check out branch
Download
Patches
Plain diff
Thomas Löffler
requested to merge
switch-back-to-php-7-0
into
develop
Jun 19, 2018
Overview
0
Commits
1
Pipelines
1
Changes
3
Expand
PHP 7.1 is not available on the servers
Waiting for a new server with PHP 7.2
Merge request reports