update Lib.sort comment and relax its tests#3124

Merged

antoinerg merged 1 commit intomasterfrom

lib-sort-update

Oct 18, 2018

Commits on Oct 18, 2018

update Lib.sort comment and relax its tests
antoinerg
committed