Skip to content

Conversation

@david-christiansen
Copy link
Collaborator

No description provided.

@david-christiansen david-christiansen added the HTML available HTML has been generated for this PR label Dec 2, 2025
@david-christiansen david-christiansen marked this pull request as ready for review December 3, 2025 09:57
Copy link
Contributor

@datokrat datokrat left a comment

Choose a reason for hiding this comment

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

Thanks a lot!

david-christiansen and others added 4 commits December 3, 2025 16:00
Co-authored-by: Paul Reichert <6992158+datokrat@users.noreply.github.com>
Co-authored-by: Paul Reichert <6992158+datokrat@users.noreply.github.com>
@github-actions
Copy link
Contributor

github-actions bot commented Dec 4, 2025

Preview for this PR is ready! 🎉 (also as a proofreading version). built with commit 3653b2a.

@david-christiansen david-christiansen added this pull request to the merge queue Dec 4, 2025
Merged via the queue into main with commit 875e007 Dec 4, 2025
9 checks passed
@david-christiansen david-christiansen deleted the iterators branch December 4, 2025 16:04
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

HTML available HTML has been generated for this PR

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants