Skip to content

[basic.scope.scope] Replace "warning" with "diagnostic message"#7728

Open
Eisenwave wants to merge 1 commit intocplusplus:mainfrom
Eisenwave:patch-43
Open

[basic.scope.scope] Replace "warning" with "diagnostic message"#7728
Eisenwave wants to merge 1 commit intocplusplus:mainfrom
Eisenwave:patch-43

Commits

Commits on Mar 10, 2025