Skip to content

Conversation

@SeanTAllen
Copy link
Member

No description provided.

@SeanTAllen SeanTAllen added the changelog - changed Automatically add "Changed" CHANGELOG entry on merge label Apr 20, 2024
@ponylang-main ponylang-main added the discuss during sync Should be discussed during an upcoming sync label Apr 20, 2024
@SeanTAllen SeanTAllen merged commit 1bd6bb9 into main Apr 20, 2024
@SeanTAllen SeanTAllen deleted the update-http-dep branch April 20, 2024 22:20
@ponylang-main ponylang-main removed the discuss during sync Should be discussed during an upcoming sync label Apr 20, 2024
github-actions bot pushed a commit that referenced this pull request Apr 20, 2024
github-actions bot pushed a commit that referenced this pull request Apr 20, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

changelog - changed Automatically add "Changed" CHANGELOG entry on merge

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants