Hacker News new | ask | show | jobs
by jdmichal 4369 days ago
Better:

merge_sorted(list1.sort(), list2.sort())