[except.terminate] Better describe the function terminate
#7281
Merged
tkoeppe merged 1 commit intocplusplus:mainfrom Nov 19, 2024
Merged
[except.terminate] Better describe the function `terminate`#7281tkoeppe merged 1 commit intocplusplus:mainfrom
tkoeppe merged 1 commit intocplusplus:mainfrom