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

chore(app-shell): bump electron-devtools-installer to 3.1.1 #6637

Merged
merged 1 commit into from
Sep 25, 2020

Conversation

sfoster1
Copy link
Member

e-d-i 3.1.1 includes
MarshallOfSound/electron-devtools-installer#140,
a fix for an issue where google bumped the version of their chrome
extension format and the unpacker that r-d-i used therefore stopped
working. The PR uses a new version of that unzipper library that
functions.

Fixes an issue where addon devtools would never be installed.

e-d-i 3.1.1 includes
MarshallOfSound/electron-devtools-installer#140,
a fix for an issue where google bumped the version of their chrome
extension format and the unpacker that r-d-i used therefore stopped
working. The PR uses a new version of that unzipper library that
functions.

Fixes an issue where addon devtools would never be installed.
@sfoster1 sfoster1 added app Affects the `app` project chore labels Sep 25, 2020
@sfoster1 sfoster1 requested a review from mcous September 25, 2020 16:45
@sfoster1 sfoster1 requested review from a team as code owners September 25, 2020 16:45
Copy link
Contributor

@mcous mcous left a comment

Choose a reason for hiding this comment

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

LGTM

@sfoster1 sfoster1 merged commit 8f619bc into edge Sep 25, 2020
@sfoster1 sfoster1 deleted the chore_app-shell-bump-electron-devtools-installers branch September 25, 2020 17:29
shlokamin pushed a commit that referenced this pull request Oct 1, 2020
e-d-i 3.1.1 includes
MarshallOfSound/electron-devtools-installer#140,
a fix for an issue where google bumped the version of their chrome
extension format and the unpacker that r-d-i used therefore stopped
working. The PR uses a new version of that unzipper library that
functions.

Fixes an issue where addon devtools would never be installed.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
app Affects the `app` project chore
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants