Skip to content

Conversation

@dli7319
Copy link
Collaborator

@dli7319 dli7319 commented Dec 31, 2025

Reuses the set, array, and gets rid of the closure.

@dli7319 dli7319 requested a review from ruofeidu December 31, 2025 01:07
@dli7319 dli7319 marked this pull request as ready for review December 31, 2025 01:07
@dli7319 dli7319 merged commit 8ee9395 into google:main Dec 31, 2025
4 checks passed
@dli7319 dli7319 deleted the scriptsmanager branch December 31, 2025 11:24
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