Closed SethTisue closed 7 years ago
as detailed at https://github.com/scala/scala-jenkins-infra/pull/188#issuecomment-248793404
fixed by @adriaanm, see https://github.com/scala/scala-jenkins-infra/pull/188#issuecomment-253597071
as detailed at https://github.com/scala/scala-jenkins-infra/pull/188#issuecomment-248793404