Skip to content

Conversation

@filipslezaklab
Copy link
Contributor

No description provided.

@filipslezaklab filipslezaklab self-assigned this Jul 31, 2025
@filipslezaklab filipslezaklab added the ignore-for-release Don't list PR in release notes label Jul 31, 2025
@filipslezaklab filipslezaklab merged commit f6dd475 into release/1.5-alpha Jul 31, 2025
2 checks passed
@filipslezaklab filipslezaklab deleted the fix-scroll branch July 31, 2025 15:01
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

ignore-for-release Don't list PR in release notes

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants