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

Use backtrace fork with UWP-specific fix. #27368

Merged
merged 1 commit into from Jul 22, 2020
Merged

Conversation

jdm
Copy link
Member

@jdm jdm commented Jul 22, 2020

Fixes #27367, which was introduced by 57f4f0a. I'd like to do a new release in the store, and I would prefer not to wait for a new version of backtrace to be released before that can happen.

@jdm
Copy link
Member Author

jdm commented Jul 22, 2020

r? @Manishearth

@highfive highfive assigned Manishearth and unassigned ferjm Jul 22, 2020
@Manishearth
Copy link
Member

Manishearth commented Jul 22, 2020

@bors-servo r+

@bors-servo
Copy link
Contributor

bors-servo commented Jul 22, 2020

📌 Commit 22d0117 has been approved by Manishearth

bors-servo added a commit that referenced this issue Jul 22, 2020
Use backtrace fork with UWP-specific fix.

Fixes #27367, which was introduced by 57f4f0a. I'd like to do a new release in the store, and I would prefer not to wait for a new version of backtrace to be released before that can happen.
@bors-servo
Copy link
Contributor

bors-servo commented Jul 22, 2020

Testing commit 22d0117 with merge 6765c76...

@bors-servo
Copy link
Contributor

bors-servo commented Jul 22, 2020

💔 Test failed - status-taskcluster

@jdm
Copy link
Member Author

jdm commented Jul 22, 2020

@bors-servo
Copy link
Contributor

bors-servo commented Jul 22, 2020

Testing commit 22d0117 with merge 5f31dbf...

@bors-servo
Copy link
Contributor

bors-servo commented Jul 22, 2020

☀️ Test successful - status-taskcluster
Approved by: Manishearth
Pushing 5f31dbf to master...

@bors-servo bors-servo merged commit 5f31dbf into servo:master Jul 22, 2020
2 checks passed
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.

5 participants