Skip to content

Conversation

@bodhisilberling-2027
Copy link
Contributor

No description provided.

@StanFromIreland
Copy link
Member

Thank you for the PR, however, this is an internal file, and a negligible issue, IMO it does not need to be fixed (separately, as part of a PR making other changes to the file makes sense).

@StanFromIreland StanFromIreland added the pending The issue will be closed if no feedback is provided label Jan 21, 2026
@ZeroIntensity
Copy link
Member

I don't have much of an opinion here, so if Stan feels strongly that this should be closed, I'll defer.

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

Labels

awaiting review pending The issue will be closed if no feedback is provided

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants