[stmt.ambig] Add \grammarterm for type-name in comment#8707
Merged
jensmaurer merged 1 commit intocplusplus:mainfrom Jan 13, 2026
Merged
[stmt.ambig] Add \grammarterm for type-name in comment#8707jensmaurer merged 1 commit intocplusplus:mainfrom
jensmaurer merged 1 commit intocplusplus:mainfrom