Skip to content

Conversation

@buddyai-in
Copy link

No description provided.

@philipto philipto merged commit 5c7ec25 into JetBrains:master Nov 11, 2025
@philipto
Copy link
Collaborator

@buddyai-in Thank you for your patience while waiting for a review and processing your request. Pull request merged. Please start applying for JetBrains educational subscription at https://www.jetbrains.com/shop/eform/students in an hour, to allow the changes to propagate through JetBrains systems.

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