Add random ordering on element lists

Closes #1033 (closed)

requested review from @babadie

assigned to @erwanrouchet

added 1 commit

• ed047b2a - Add random ordering on element lists

Compare with previous version

added 13 commits

• ed047b2a...f6560706 - 12 commits from branch master
• 49427011 - Add random ordering on element lists

Compare with previous version

enabled an automatic merge when the pipeline for 49427011 succeeds

mentioned in commit 74487e31

merged