We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Maybe something has changed in platform?
The text was updated successfully, but these errors were encountered:
maybe eclipse-platform/eclipse.platform.ui@7adb4ef#diff-a37ba54e0a891e8a3bf10abe924cdb174e013ec2d601721d31438e8cf5a7d86e
Sorry, something went wrong.
Any idea on how to fix that?
Don’t have time to digg Does the new behavior make sense? Maybe we can conditionally adjust expectation Maybe discuss on Tuesday
I commented on the PR in platform. The behavior cannot be overridden right now. Let’s see what they will do about it
No branches or pull requests
Maybe something has changed in platform?
The text was updated successfully, but these errors were encountered: