Skip to content

Conversation

@corona10
Copy link
Member

No description provided.

@rruuaanng
Copy link
Contributor

Maybe you should fix the header, it seems CI doesn't detect it (Although this is a draft).

@corona10
Copy link
Member Author

Please follow up comments here: #122566

@StanFromIreland
Copy link
Member

Triage: Since #122544 is closed, can this be closed too?

@corona10
Copy link
Member Author

corona10 commented Oct 5, 2025

Yeah let’s close! Thank you for finding this!

@corona10 corona10 closed this Oct 5, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants