Re: [armedbear-devel] Setup changes for cl-test-grid.cloud.efficito.com