Skip to content

Mute stderr_important dead code warning#18724

Merged
zanieb merged 1 commit intomainfrom
konsti/stderr_important-dead-code-warning
Mar 26, 2026
Merged

Mute stderr_important dead code warning#18724
zanieb merged 1 commit intomainfrom
konsti/stderr_important-dead-code-warning

Conversation

@konstin
Copy link
Copy Markdown
Member

@konstin konstin commented Mar 26, 2026

The warning is recently showing up a lot.

The warning is recently showing up a lot.
@konstin konstin added the internal A refactor or improvement that is not user-facing label Mar 26, 2026
@zanieb zanieb merged commit 944f009 into main Mar 26, 2026
55 checks passed
@zanieb zanieb deleted the konsti/stderr_important-dead-code-warning branch March 26, 2026 15:43
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

internal A refactor or improvement that is not user-facing

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants