Skip to content
New issue

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

preferences: fix PreferenceProvider.merge method #12275

Conversation

AlexandraBuzila
Copy link
Contributor

What it does

This reverts commit a3b9735 to readd the fix for the PreferenceProvider.merge method originally added in #12126 and fixes the launch-preferences tests.

Review checklist

Reminder for reviewers

This reverts commit a3b9735 and fixes
the launch-preferences tests
Copy link
Member

@paul-marechal paul-marechal left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

The tests are passing on my Windows machine, LGTM

@paul-marechal paul-marechal merged commit bb353fd into eclipse-theia:mp/fix-duplicated-provider2 Mar 9, 2023
@AlexandraBuzila AlexandraBuzila deleted the fix-duplicated-provider branch March 9, 2023 16:31
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