chiark / gitweb /
gitlab-ci: switch to new Debian/stretch image