Merge lp:~widelands-dev/widelands/detect_revision_update into lp:widelands
Proposed by
Tino
Status: | Merged |
---|---|
Merged at revision: | 8862 |
Proposed branch: | lp:~widelands-dev/widelands/detect_revision_update |
Merge into: | lp:widelands |
Diff against target: |
64 lines (+21/-16) 1 file modified
utils/detect_revision.py (+21/-16) |
To merge this branch: | bzr merge lp:~widelands-dev/widelands/detect_revision_update |
Related bugs: |
Reviewer | Review Type | Date Requested | Status |
---|---|---|---|
Tino | Approve | ||
GunChleoc | Approve | ||
Review via email: mp+355590@code.launchpad.net |
Commit message
use git rev-parse instead of show with head
remove use of deprecated os.open
avoid leaking of stderr into cmake output on windows
To post a comment you must log in.
Code LGTM. Not tested.