Skip to content

Conversation

@MegaManSec
Copy link

No description provided.

(cherry picked from commit b8366cf411b11a177dc382d802ec7c23e1ec66f2)
@zfurtak
Copy link
Collaborator

zfurtak commented Feb 11, 2026

Hey!
Thanks a lot for contributions, we will review them soon 😊
However, I have one request, could you merge the smaller PRs into the larger ones?
It would make things easier for us if there weren't multiple one-line PRs to merge and publish 🤓

@MegaManSec
Copy link
Author

Generally speaking I'm happy to merge the smaller ones into a more general large one, it's just that I didn't know which you'll accept so didn't want to split them again.
FYI these changes are just upstreaming our internal patches

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