Deployment from 12.12.2018
During the deployment on 12.12.2018, we produced a new build of the site and adapted the deploy script a little.
During the deployment on 12.12.2018, we produced a new build of the site and adapted the deploy script a little.