Skip to content

Conversation

@cmaglie
Copy link
Member

@cmaglie cmaglie commented Nov 3, 2025

Motivation

This will silence a spurious warning.

Change description

Additional Notes

Reviewer checklist

  • PR addresses a single concern.
  • PR title and description are properly filled.
  • Changes will be merged in main.
  • Changes are covered by tests.
  • Logging is meaningful in case of troubleshooting.

@cmaglie cmaglie self-assigned this Nov 3, 2025
@cmaglie cmaglie added the enhancement New feature or request label Nov 3, 2025
@cmaglie cmaglie merged commit 6546dcd into main Nov 3, 2025
10 checks passed
@cmaglie cmaglie deleted the silence_unneeded_warning branch November 3, 2025 17:47
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants