Skip to content

Conversation

@ThomasBreuer
Copy link
Contributor

This was missing from #6141, and detected in the crystcat tests, see #6143.

@ThomasBreuer ThomasBreuer added topic: library release notes: not needed PRs introducing changes that are wholly irrelevant to the release notes backport-to-4.15 labels Oct 15, 2025
@fingolfin fingolfin enabled auto-merge (squash) October 15, 2025 23:19
@fingolfin fingolfin merged commit 7a11517 into gap-system:master Oct 15, 2025
32 checks passed
@fingolfin
Copy link
Member

fingolfin commented Oct 17, 2025

Backported to stable-4.15 in commit 3607593

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

backport-to-4.15-DONE release notes: not needed PRs introducing changes that are wholly irrelevant to the release notes topic: library

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants