Introduce term.* labels for [basic.types.general] terms#5104
Merged
tkoeppe merged 10 commits intocplusplus:mainfrom Feb 22, 2022
Commits
Commits on Feb 21, 2022
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
