Skip to content

Conversation

@lenemter
Copy link
Member

@lenemter lenemter requested a review from a team May 16, 2025 12:04
@lenemter lenemter added this to OS 9 May 16, 2025
@lenemter lenemter moved this to Needs Review in OS 9 May 16, 2025
@lenemter lenemter mentioned this pull request May 16, 2025
1 task
Copy link
Contributor

@leonardo-lemos leonardo-lemos left a comment

Choose a reason for hiding this comment

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

LGTM

@lenemter lenemter merged commit 33a2ddb into main May 17, 2025
4 checks passed
@lenemter lenemter deleted the lenemter/set-restore-previous-region branch May 17, 2025 15:21
@github-project-automation github-project-automation bot moved this from Needs Review to Done in OS 9 May 17, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

3 participants