Skip to content

Conversation

@tjgq
Copy link
Collaborator

@tjgq tjgq commented Sep 9, 2025

To the set of people with an admin or write role.

To the set of people with an admin or write role.
@tjgq tjgq requested a review from sluongng September 9, 2025 14:54
@tjgq tjgq requested a review from ulfjack as a code owner September 9, 2025 14:54
Copy link
Collaborator

@sluongng sluongng left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM.

Not entirely sure if @EdSchouten @sstriker are still active?

@fmeum fmeum merged commit 0425bb9 into main Nov 10, 2025
1 check passed
@fmeum fmeum deleted the tjgq-patch-2 branch November 10, 2025 15:32
tjgq added a commit that referenced this pull request Nov 10, 2025
He was accidentally missing from #342.
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.

4 participants