Skip to content

Update ponylang/ssl dependency to version 1.0.1#119

Merged
SeanTAllen merged 2 commits intoponylang:mainfrom
redvers:bump_ssl
Oct 7, 2025
Merged

Update ponylang/ssl dependency to version 1.0.1#119
SeanTAllen merged 2 commits intoponylang:mainfrom
redvers:bump_ssl

Conversation

@redvers
Copy link
Copy Markdown
Contributor

@redvers redvers commented Sep 20, 2025

Update ssl from 1.0.0 to 1.0.1.

@ponylang-main ponylang-main added the discuss during sync Should be discussed during an upcoming sync label Sep 20, 2025
@redvers redvers changed the title Bumped ssl to version 1.0.1 Update ssl dependency Sep 21, 2025
@SeanTAllen SeanTAllen added the changelog - changed Automatically add "Changed" CHANGELOG entry on merge label Sep 30, 2025
@ponylang-main
Copy link
Copy Markdown
Contributor

Hi @redvers,

The changelog - changed label was added to this pull request; all PRs with a changelog label need to have release notes included as part of the PR. If you haven't added release notes already, please do.

Release notes are added by creating a uniquely named file in the .release-notes directory. We suggest you call the file 119.md to match the number of this pull request.

The basic format of the release notes (using markdown) should be:

## Title

End user description of changes, why it's important,
problems it solves etc.

If a breaking change, make sure to include 1 or more
examples what code would look like prior to this change
and how to update it to work after this change.

Thanks.

@redvers redvers changed the title Update ssl dependency Update ponylang/ssl dependency to version 1.0.1 Oct 7, 2025
@SeanTAllen SeanTAllen merged commit 0def3f3 into ponylang:main Oct 7, 2025
9 checks passed
@ponylang-main ponylang-main removed the discuss during sync Should be discussed during an upcoming sync label Oct 7, 2025
github-actions bot pushed a commit that referenced this pull request Oct 7, 2025
github-actions bot pushed a commit that referenced this pull request Oct 7, 2025
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