[execpol.general] Use 'this document', not 'this standard'#7022
Merged
tkoeppe merged 1 commit intocplusplus:mainfrom Jul 9, 2024
Merged
[execpol.general] Use 'this document', not 'this standard'#7022tkoeppe merged 1 commit intocplusplus:mainfrom
tkoeppe merged 1 commit intocplusplus:mainfrom