[editorial]: put exposition-only identifier in italics#7531
Merged
jensmaurer merged 1 commit intocplusplus:mainfrom Jan 2, 2025
Merged
[editorial]: put exposition-only identifier in italics#7531jensmaurer merged 1 commit intocplusplus:mainfrom
jensmaurer merged 1 commit intocplusplus:mainfrom