test: $set_sorted()
is no longer needed for some context
#606
This job succeeded
Loading
$set_sorted()
is no longer needed for some context
#606