Este día pasó a ser la festividad de san Esteban.