Mark python's mergesort as done