Merge remote-tracking branch 'upstream/master'
Merge remote-tracking branch 'upstream/master'
fixed tied-winners representation in the result list of sets
Merge commit 'c59ca8dbe6a8fed151b09479d1f955f6332dd739'