Skip to content

Conversation

benjie
Copy link
Member

@benjie benjie commented Aug 21, 2023

@benjie benjie merged commit 5ded76f into main Aug 21, 2023
@benjie benjie deleted the wg-202309-1-benjie branch August 21, 2023 11:10
@yaacovCR
Copy link
Contributor

Not sure I can make the meeting this week, but change seems great, left a small comment on the PR

@benjie
Copy link
Member Author

benjie commented Aug 21, 2023

(This is for the September 7th meeting, 2.5 weeks from now.)

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