Skip to content

[basic.contract.eval] Replace "operation" with "evaluation"#8657

Open
lprv wants to merge 1 commit intocplusplus:mainfrom
lprv:r96
Open

[basic.contract.eval] Replace "operation" with "evaluation"#8657
lprv wants to merge 1 commit intocplusplus:mainfrom
lprv:r96

Commits

Commits on Dec 14, 2025