Skip to content

Conversation

@hvt
Copy link
Contributor

@hvt hvt commented Sep 10, 2025

Not sure if required replaced with requested, is the intended text.

@alexrp alexrp requested a review from mlugg September 23, 2025 23:20
@mlugg
Copy link
Member

mlugg commented Nov 6, 2025

required was intentional, but the other fix is fine. I'll merge the correction in a moment, thanks!

@mlugg
Copy link
Member

mlugg commented Nov 6, 2025

Landed in 27c0be8; thanks!

@mlugg mlugg closed this Nov 6, 2025
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.

3 participants