[exec.then] add missing `\exposid`#8433

tkoeppe merged 1 commit intocplusplus:maincplusplus/draft:mainfrom

ericniebler:ericniebler-patch-4ericniebler/draft:ericniebler-patch-4Copy head branch name to clipboard