Merge branch 'ramsey_logic' into 'master'
Passed
Sébastien Villemot
created pipeline for commit
9938cb26
, finished
For master
3 minutes 59 seconds, queued for 8 seconds