Manager.run_parallel: Remove useless sort by (column, column)
Manager.report later sorts the results correctly by (line, column).
Signed-off-by:
Anders Kaseorg <andersk@mit.edu>
Loading
Please register or sign in to comment
Manager.report later sorts the results correctly by (line, column).
Signed-off-by:
Anders Kaseorg <andersk@mit.edu>