Skip to content

Conversation

@robertodauria
Copy link
Contributor

@robertodauria robertodauria commented Sep 17, 2025

This change is Reviewable

Copy link
Contributor

@nkinkade nkinkade left a comment

Choose a reason for hiding this comment

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

@nkinkade reviewed 1 of 1 files at r1, all commit messages.
Reviewable status: :shipit: complete! 1 of 1 approvals obtained (waiting on @bassosimone)

@robertodauria robertodauria merged commit 4432ae1 into main Sep 17, 2025
5 checks passed
@robertodauria robertodauria deleted the sandbox-roberto-fix-close branch September 17, 2025 21:44
@bassosimone
Copy link
Collaborator

lgtm!

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