[stoptoken.concepts] Add \tcode for terminate#7516

jensmaurer merged 1 commit intocplusplus:maincplusplus/draft:mainfrom

Andreas-Krug:patch-51Andreas-Krug/draft:patch-51Copy head branch name to clipboard