[2118] dēvirginātor, ōris, m. (devirgino), einer, der ein Mädchen entjungfert = διαπαρθενευτής, Gloss. II, 273, 17.