Mir

Merge lp:~vanvugt/mir/fix-1376547 into lp:mir

Proposed by Daniel van Vugt
Status: Merged
Approved by: Alan Griffiths
Approved revision: no longer in the source branch.
Merged at revision: 1953
Proposed branch: lp:~vanvugt/mir/fix-1376547
Merge into: lp:mir
Diff against target: 2 lines (+0/-0)
0 files modified
To merge this branch: bzr merge lp:~vanvugt/mir/fix-1376547
Reviewer Review Type Date Requested Status
Alan Griffiths Approve
PS Jenkins bot (community) continuous-integration Approve
Review via email: mp+236805@code.launchpad.net

Commit message

Fix executable bit on tools/*.sh (LP: #1376547)

To post a comment you must log in.
Revision history for this message
PS Jenkins bot (ps-jenkins) wrote :
review: Approve (continuous-integration)
Revision history for this message
Alan Griffiths (alan-griffiths) wrote :

Yes

review: Approve

Preview Diff

[H/L] Next/Prev Comment, [J/K] Next/Prev File, [N/P] Next/Prev Hunk
1=== modified file 'tools/install_on_android.sh' (properties changed: -x to +x)
2=== modified file 'tools/update-all-ABI-sha1sums.sh' (properties changed: -x to +x)

Subscribers

People subscribed via source and target branches