Skip to content

update internal terminology: Substs -> GenericArgs#1769

Merged
tshepang merged 5 commits intomasterfrom
up-master
Aug 21, 2023

Commits

Commits on Aug 20, 2023

Commits on Aug 21, 2023