Skip to content

remove duplicated platform

Maciej Pawel Szymanski requested to merge maszyman-duplicate-platform into master

Hi @gcorti, I've just noticed that x86_64-centos7-gcc7-opt is duplicated for lhcb-gauss-dev.

Merge request reports