Merge branch '27-add-global-settings-management' into 'master'
Passed
Benoît Harrault
created pipeline for commit adffb338
, finished
For 26-reduce-board-sizes
4 minutes 45 seconds, queued for 1 seconds