[basic.pre,basic.lookup.general] Cleanup definition of term 'name lookup'#7475
Merged
tkoeppe merged 1 commit intocplusplus:mainfrom Dec 17, 2024
Merged
[basic.pre,basic.lookup.general] Cleanup definition of term 'name lookup'#7475tkoeppe merged 1 commit intocplusplus:mainfrom
tkoeppe merged 1 commit intocplusplus:mainfrom