Skip to content

Conversation

@ryonakano
Copy link
Member

Seems like a leftover of #206; let's merge this easy fix before #237

@ryonakano ryonakano requested a review from a team November 16, 2025 02:53
@ryonakano ryonakano moved this to Needs review in OS 8.1.0 Nov 16, 2025
@ryonakano ryonakano mentioned this pull request Nov 16, 2025
@danirabbit danirabbit merged commit 1ad24d4 into main Nov 16, 2025
4 checks passed
@danirabbit danirabbit deleted the ryonakano/fix-wrong-rename branch November 16, 2025 03:45
@github-project-automation github-project-automation bot moved this from Needs review to Done in OS 8.1.0 Nov 16, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

No open projects
Status: Done

Development

Successfully merging this pull request may close these issues.

3 participants