Skip to content

Conversation

@jrha
Copy link
Member

@jrha jrha commented Jan 8, 2026

The logic was fixed in 8f7c659, but the message wasn't updated.

@jrha jrha added this to the 10.9 milestone Jan 8, 2026
@jrha jrha added the panlint label Jan 8, 2026
@jrha jrha marked this pull request as ready for review January 15, 2026 11:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Development

Successfully merging this pull request may close these issues.

1 participant