Skip to content

Conversation

@eldering
Copy link
Member

See also #2895

I had to locally test this and needed to add a different
group option.
@eldering eldering requested a review from meisterT February 25, 2025 21:52
@eldering eldering added this pull request to the merge queue Feb 26, 2025
Merged via the queue into main with commit 1b1261d Feb 26, 2025
41 checks passed
@eldering eldering deleted the note-strdup-no-free branch February 26, 2025 22:34
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