Commit d0c9fa2b authored by Nikos Mavrogiannopoulos's avatar Nikos Mavrogiannopoulos

Merge branch 'tmp-simplify-setof-sorting' into 'master'

simplify sorting of setof items

See merge request !2
parents 750f03a3 0dcbfb31
Pipeline #18488622 failed with stage
in 77 minutes and 29 seconds