Skip to content

Conversation

@lenemter
Copy link
Member

@lenemter lenemter commented May 8, 2025

A small optimization

@lenemter lenemter marked this pull request as ready for review June 7, 2025 08:45
@lenemter lenemter added this to OS 9 Jun 7, 2025
@lenemter lenemter moved this to Needs Review in OS 9 Jun 7, 2025
@lenemter lenemter merged commit cc24e0f into main Jun 12, 2025
4 checks passed
@lenemter lenemter deleted the lenemter/optimize-active-workspace branch June 12, 2025 08:09
@github-project-automation github-project-automation bot moved this from Needs Review to Done in OS 9 Jun 12, 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.

4 participants