Commit 28cdbe00 authored by Pietro Albini's avatar Pietro Albini

Merge branch 'master' into scopriUbuntu

parents cd220625 a9ec7fd5
Pipeline #37 running with stage
in 0 seconds