Skip to content

Conversation

@LDiazN
Copy link
Contributor

@LDiazN LDiazN commented Oct 22, 2025

see #1003

@LDiazN LDiazN self-assigned this Oct 22, 2025
@LDiazN LDiazN merged commit 30f3860 into master Oct 22, 2025
7 checks passed
@LDiazN LDiazN deleted the remove-header-log branch October 22, 2025 10:30
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants