Skip to content

Conversation

burblebee
Copy link
Contributor

@burblebee burblebee commented Nov 15, 2023

@burblebee burblebee marked this pull request as ready for review November 15, 2023 06:12
@jensmaurer jensmaurer added this to the post-2023-11 milestone Nov 15, 2023
@tkoeppe tkoeppe force-pushed the motions-2023-11-lwg-15 branch from 511a91e to 1256c09 Compare December 17, 2023 17:23
@tkoeppe tkoeppe merged commit 97b46ac into main Dec 17, 2023
@jensmaurer jensmaurer deleted the motions-2023-11-lwg-15 branch March 23, 2024 11:45
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.

[2023-11 LWG Motion 15] Freestanding: Remove strtok P2937 R0 Freestanding: Remove strtok
4 participants