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

Update bundled zlib to 1.3 #5499

Merged
merged 1 commit into from
Sep 1, 2023
Merged

Update bundled zlib to 1.3 #5499

merged 1 commit into from
Sep 1, 2023

Conversation

fingolfin
Copy link
Member

We previously were using 1.2.11 with some patches, and so are skipping 1.2.12 and 1.2.13.

@fingolfin
Update bundled zlib to 1.3
4bc9a67 
We previously were using 1.2.11 with some patches, and so
are skipping 1.2.12 and 1.2.13.
@fingolfin fingolfin added kind: enhancement Label for issues suggesting enhancements; and for pull requests implementing enhancements release notes: use title For PRs: the title of this PR is suitable for direct use in the release notes labels Sep 1, 2023
ChrisJefferson
ChrisJefferson approved these changes Sep 1, 2023
View reviewed changes
Copy link
Contributor

@ChrisJefferson ChrisJefferson left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This should be fine, and can be merged once all tests are passed.

@fingolfin fingolfin merged commit 46eef40 into gap-system:master Sep 1, 2023
@fingolfin fingolfin deleted the mh/zlib-1.3 branch September 1, 2023 13:59
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@ChrisJefferson ChrisJefferson ChrisJefferson approved these changes

Assignees
No one assigned
Labels
kind: enhancement Label for issues suggesting enhancements; and for pull requests implementing enhancements release notes: use title For PRs: the title of this PR is suitable for direct use in the release notes topic: build system
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@fingolfin @ChrisJefferson