Skip to content

Conversation

@wbeltz
Copy link

@wbeltz wbeltz commented Jan 8, 2026

No description provided.

@philipto philipto merged commit e3dbb27 into JetBrains:master Jan 8, 2026
@philipto
Copy link
Collaborator

philipto commented Jan 8, 2026

@wbeltz 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