Skip to content

Conversation

dsanders11
Copy link
Contributor

Looks like this option was duplicated in a couple spots.

@isaacs isaacs closed this in 458d0fd Sep 21, 2025
@isaacs isaacs merged commit 458d0fd into isaacs:main Sep 21, 2025
@dsanders11 dsanders11 deleted the patch-1 branch September 24, 2025 16:27
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.

2 participants