Skip to content

Conversation

burrbull
Copy link
Member

No description provided.

@burrbull burrbull requested a review from a team as a code owner October 24, 2024 05:30
@burrbull
Copy link
Member Author

/ci diff pr

Copy link

Diff for comment

@burrbull
Copy link
Member Author

cc @Emilgardis

@Emilgardis
Copy link
Member

When did this break?

@burrbull burrbull added this pull request to the merge queue Oct 24, 2024
@burrbull
Copy link
Member Author

When did this break?

It was always broken. It's just rare case enough so we did not see.

Merged via the queue into master with commit 1ee8b00 Oct 24, 2024
47 checks passed
@burrbull burrbull deleted the fix-mwv branch October 24, 2024 17:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants