Skip to content

Use collections.abc.Sequence as the alias is set to be removed#581

Merged
pmderodat merged 1 commit intoAdaCore:masterfrom LordAro:patch-1Nov 29, 2021

Commits

Commits on Nov 29, 2021