Nome do dia 19/07

O nome de hoje foi também o nome de um aristocrata na antiguidade. Partilho então o nome masculino de hoje, encontrado nos registos da cidade do Porto: Hilduino. Já conhecia?