Skip to content

[exec.then] add missing \exposid#8433

Merged
tkoeppe merged 1 commit into
cplusplus:mainfrom
ericniebler:ericniebler-patch-4
Nov 5, 2025
Merged

[exec.then] add missing \exposid#8433
tkoeppe merged 1 commit into
cplusplus:mainfrom
ericniebler:ericniebler-patch-4

Conversation

@ericniebler

Copy link
Copy Markdown
Contributor

set-cpo needs to be formatted as an \exposid.

image

@eisenwave eisenwave added the P2-Bug Presentational errors and omissions label Nov 5, 2025
@tkoeppe tkoeppe merged commit 508c139 into cplusplus:main Nov 5, 2025
2 checks passed
@ericniebler ericniebler deleted the ericniebler-patch-4 branch November 6, 2025 00:26
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

P2-Bug Presentational errors and omissions

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants