Skip to content

Conversation

@xmcgcg
Copy link
Contributor

@xmcgcg xmcgcg commented Apr 3, 2025

PR#7708 used \oldconceptname for the old requirements, \oldconcept should be used instead.

@jensmaurer jensmaurer merged commit 03dc4de into cplusplus:main Apr 3, 2025
2 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants