[GITLAB] - UPGRADE TO v12 on Wednesday the 18th of December at 11.30AM

run_compilation_autotests.bash 4.7 KB