Join GitHub today
GitHub is home to over 20 million developers working together to host and review code, manage projects, and build software together.
Manual repair PR #20
Conversation
Daniel20000522
and others
added some commits
Sep 10, 2017
garro95
and others
added some commits
Sep 19, 2017
Flohack74
merged commit ebde2de
into
ubports:vivid
Sep 27, 2017
1 check passed
continuous-integration/jenkins/pr-merge
This commit looks good
Details
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Flohack74 commentedSep 27, 2017
No description provided.