Skip to content

Update config.guess and config.sub to the latest#6080

Merged
fingolfin merged 1 commit intomasterfrom
mh/config-update
Aug 29, 2025
Merged

Update config.guess and config.sub to the latest#6080
fingolfin merged 1 commit intomasterfrom
mh/config-update

Conversation

@fingolfin
Copy link
Copy Markdown
Member

No description provided.

@fingolfin fingolfin added topic: build system release notes: not needed PRs introducing changes that are wholly irrelevant to the release notes labels Aug 29, 2025
Copy link
Copy Markdown
Member

@wilfwilson wilfwilson left a comment

Choose a reason for hiding this comment

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

Great. Hopefully #1478 can be addressed soon with a GitHub Action and we won't need to make sure PRs manually for much longer 🙂

@fingolfin fingolfin merged commit b77b634 into master Aug 29, 2025
32 checks passed
@fingolfin fingolfin deleted the mh/config-update branch August 29, 2025 13:00
@wilfwilson wilfwilson added the gapdays2025-summer Issues and PRs that arose at https://www.gapdays.de/gapdays2025-summer label Aug 29, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

gapdays2025-summer Issues and PRs that arose at https://www.gapdays.de/gapdays2025-summer release notes: not needed PRs introducing changes that are wholly irrelevant to the release notes topic: build system

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants