Skip to content

follow up on #1166: simplify with iterator#1170

Merged
hero78119 merged 1 commit intomasterfrom
feat/1203-followup
Dec 3, 2025
Merged

follow up on #1166: simplify with iterator#1170
hero78119 merged 1 commit intomasterfrom
feat/1203-followup

Conversation

@hero78119
Copy link
Copy Markdown
Collaborator

No description provided.

@hero78119 hero78119 changed the title follow up on #1203: simplify with iterator follow up on #1166: simplify with iterator Dec 3, 2025
@hero78119 hero78119 enabled auto-merge December 3, 2025 12:19
@Velaciela Velaciela self-requested a review December 3, 2025 12:28
Copy link
Copy Markdown
Collaborator

@Velaciela Velaciela left a comment

Choose a reason for hiding this comment

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

LGTM!

@hero78119 hero78119 added this pull request to the merge queue Dec 3, 2025
Merged via the queue into master with commit 3931f83 Dec 3, 2025
4 checks passed
@hero78119 hero78119 deleted the feat/1203-followup branch December 3, 2025 13:12
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