[lex.pptoken] Turn non-normative text into a note#8416
Merged
tkoeppe merged 1 commit intocplusplus:mainfrom Dec 15, 2025
Merged
[lex.pptoken] Turn non-normative text into a note#8416tkoeppe merged 1 commit intocplusplus:mainfrom
tkoeppe merged 1 commit intocplusplus:mainfrom