Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

[LWG 15] P2937R0 Freestanding: Remove strtok #6694

Merged
merged 1 commit into from Dec 17, 2023
Merged

[LWG 15] P2937R0 Freestanding: Remove strtok #6694

merged 1 commit into from Dec 17, 2023

Conversation

burblebee
Copy link
Contributor

@burblebee burblebee commented Nov 15, 2023 •
edited by jensmaurer

@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 merged commit 97b46ac into main Dec 17, 2023
4 checks passed
@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
Reviewers

@JohelEGP JohelEGP JohelEGP approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
post-2023-11
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
@burblebee @JohelEGP @tkoeppe @jensmaurer