A new crocodylid from the middle Miocene of Kenya and the timing of crocodylian faunal change in the late Cenozoic of Africa. (November 2020)