I can merge that other commit now