Resolve "Reduce board sizes"

Closes #26 (closed)

assigned to @benoit

added 1 commit

• 9d7db35b - Reduce biggest board size

Compare with previous version

marked this merge request as ready

enabled an automatic merge when the pipeline for 9d7db35b succeeds

merged

mentioned in commit 6aaa98cf