Merge branch '5-improve-layout' into 'master'
Canceled
Benoît Harrault
created pipeline for commit 2d08f65d
, finished
For 6-pick-a-random-set-at-startup
3 minutes 17 seconds, queued for 1 seconds