Merge branch 'ramsey_k_order' into 'master'
Passed
Sébastien Villemot
created pipeline for commit
0213c9be
, finished
For master
5 minutes 16 seconds, queued for 5 seconds