Skip to content

Conversation

github-actions[bot]
Copy link
Contributor

This is an automated pull request, updating 3.14.txt after a detected change.

Please review manually before merging.

@woodruffw woodruffw closed this Aug 15, 2025
@woodruffw woodruffw reopened this Aug 15, 2025
@woodruffw
Copy link
Member

Ah, what a mess. Creating a new list of course fails because 3.14 isn't present, but we have to remove 3.14 to create a new list.

@woodruffw woodruffw merged commit db9b6fe into main Aug 15, 2025
13 checks passed
@woodruffw woodruffw deleted the update-stdlib-list-3.14-1755229889 branch August 15, 2025 03:55
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.

1 participant