Commit fa438762 authored by Boris Schauer's avatar Boris Schauer

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

Use new production server

See merge request !259
parents 43f34f15 a7524e5b
Pipeline #6170 passed with stages
in 2 minutes and 51 seconds