Skip to content

Well-known headers update#2375

Merged
RobinTail merged 2 commits intomasterfrom
headers-update-20250207
Feb 7, 2025
Merged

Well-known headers update#2375
RobinTail merged 2 commits intomasterfrom
headers-update-20250207

Conversation

@github-actions
Copy link
Copy Markdown
Contributor

@github-actions github-actions Bot commented Feb 7, 2025

This PR contains automated updates generated by the weekly workflow.

Comment thread src/well-known-headers.json Outdated
@RobinTail RobinTail merged commit d848cd4 into master Feb 7, 2025
@RobinTail RobinTail deleted the headers-update-20250207 branch February 7, 2025 21:37
@coveralls-official
Copy link
Copy Markdown

Coverage Status

coverage: 100.0%. remained the same
when pulling 63750ff on headers-update-20250207
into 3aa7b61 on master.

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