Skip to content

WindowManager: cleanup end_animation () - #2902

Merged
leolost2605 merged 1 commit into
mainfrom
lenemter/cleanup-end-animation
Aug 13, 2026
Merged

WindowManager: cleanup end_animation ()#2902
leolost2605 merged 1 commit into
mainfrom
lenemter/cleanup-end-animation

Conversation

@lenemter

Copy link
Copy Markdown
Member

The return value is unused since #2886

@lenemter
lenemter requested a review from a team August 13, 2026 16:30
@leolost2605
leolost2605 merged commit b29c840 into main Aug 13, 2026
7 checks passed
@leolost2605
leolost2605 deleted the lenemter/cleanup-end-animation branch August 13, 2026 21:12
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.

2 participants