Closed lucabaldini closed 9 years ago
This should be both when populating the list of runs to be processed and when merging the DSTs.
Maybe this is not an issue after all, as the default sorting seems to be sensible.
This should be both when populating the list of runs to be processed and when merging the DSTs.