Skip to content

Dev

Alberto Pianon requested to merge dev into master

@davide.ricci after review, please change 'dev' to 'master' in .gitlab-ci.yml (see comment in file) before removing WIP and merging

Edited by Alberto Pianon

Merge request reports