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

fixup: remove mangling in extensions/ (introduced in 1.80) #1582

Closed
wants to merge 1 commit into from

Conversation

brjsp
Copy link

@brjsp brjsp commented Jul 28, 2023

This also fixes the reproducibility issue mentioned in microsoft/vscode#189124

This also fixes the reproducibility issue mentioned in microsoft/vscode#189124
@daiyam
Copy link
Member

daiyam commented Sep 3, 2023

Is this still an issue after their fix?

@brjsp
Copy link
Author

brjsp commented Sep 3, 2023

Probably isn't. I haven't checked but AFAIK you want to remove mangling anyway to make hacking the UI possible.

I myself don't use UI-changing extensions but have noticed that the mangler often OOMed on our (openSUSE) servers leading to build failures.

@daiyam
Copy link
Member

daiyam commented Nov 4, 2024

The changes have been merged in #2090. We will test it in the Insiders version to see if there is no issues before moving it to the stable version.

@daiyam daiyam closed this Nov 4, 2024
@daiyam
Copy link
Member

daiyam commented Nov 4, 2024

@brjsp Thanks for the PR.
Sorry, seeing you have reacted, I could have asked you to make the change. But since it's a more than a year old PR, I didn't think you were still there ;)

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