Commit cc604c2f authored by Stefan Busemann's avatar Stefan Busemann

Merge branch 'task/new-server' into 'develop'

Change to PHP 7.2 and deployment to new server

See merge request !256
parents 619e5d27 1fdef19a
Pipeline #5988 passed with stages
in 2 minutes and 31 seconds