Merge pull request #2830 from kgaillot/term
Update legacy terminology in a few places
Merge pull request #2830 from kgaillot/term
Tags None Referenced Files None Subscribers None
Description Merge pull request #2830 from kgaillot/term Update legacy terminology in a few places
Details
Event TimelineGitHub <noreply@github.com> committed rPcd3a75bd8f96: Merge pull request #2830 from kgaillot/term (authored by kgaillot).Aug 29 2022, 12:40 PM2022-08-29 12:40:45 (UTC-4)
Merged Changes
|