Skip to content

Conversation

@jaeyoo
Copy link
Member

@jaeyoo jaeyoo commented Jul 6, 2021

No description provided.

@mhucka mhucka added the area/health Involves general matters of project configuration, health, maintenance, and similar concerns label Dec 2, 2024
@mhucka
Copy link
Member

mhucka commented Jan 15, 2026

Looking at this, it's not clear to me that this change is needed; plus, the lack of it hasn't seemed to block anything for the past 5+ years. I'm going to close this. If that's the wrong call, please feel free to repopen it.

@mhucka mhucka closed this Jan 15, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

area/health Involves general matters of project configuration, health, maintenance, and similar concerns

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants