Yahoo CEO Marissa Mayer gives birth to baby boy

Internet firm Yahoo’s CEO Marissa Mayer has given birth to a baby boy.