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

Fix Fedora installation guide #26418

Merged
merged 1 commit into from May 5, 2020

Conversation

@CrazyRoka
Copy link
Contributor

CrazyRoka commented May 4, 2020

Added necessary library to guide for successful installation on Fedora Linux.
Closes #26417

@highfive
Copy link

highfive commented May 4, 2020

Thanks for the pull request, and welcome! The Servo team is excited to review your changes, and you should hear from @asajeffrey (or someone else) soon.

@jdm
Copy link
Member

jdm commented May 4, 2020

@bors-servo r+
Thanks!

@bors-servo
Copy link
Contributor

bors-servo commented May 4, 2020

📌 Commit 77422af has been approved by jdm

@highfive highfive assigned jdm and unassigned asajeffrey May 4, 2020
@bors-servo
Copy link
Contributor

bors-servo commented May 4, 2020

Testing commit 77422af with merge e491047...

bors-servo added a commit that referenced this pull request May 4, 2020
Fix Fedora installation guide

Added necessary library to guide for successful installation on Fedora Linux.
Closes #26417
@bors-servo
Copy link
Contributor

bors-servo commented May 4, 2020

💔 Test failed - status-taskcluster

@jdm
Copy link
Member

jdm commented May 5, 2020

@bors-servo retry

@bors-servo
Copy link
Contributor

bors-servo commented May 5, 2020

Testing commit 77422af with merge 4160eff...

bors-servo added a commit that referenced this pull request May 5, 2020
Fix Fedora installation guide

Added necessary library to guide for successful installation on Fedora Linux.
Closes #26417
@bors-servo
Copy link
Contributor

bors-servo commented May 5, 2020

💔 Test failed - status-taskcluster

@jdm
Copy link
Member

jdm commented May 5, 2020

@bors-servo
Copy link
Contributor

bors-servo commented May 5, 2020

Testing commit 77422af with merge 173bfad...

@bors-servo
Copy link
Contributor

bors-servo commented May 5, 2020

☀️ Test successful - status-taskcluster
Approved by: jdm
Pushing 173bfad to master...

@bors-servo bors-servo merged commit 173bfad into servo:master May 5, 2020
2 checks passed
2 checks passed
Community-TC (pull_request) TaskGroup: success
Details
homu Test successful
Details
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Linked issues

Successfully merging this pull request may close these issues.

5 participants
You can’t perform that action at this time.