Merge lp:~widelands-dev/widelands/remove-broken-splashscreen-skip into lp:widelands
Proposed by
GunChleoc
Status: | Merged | ||||
---|---|---|---|---|---|
Merged at revision: | 8850 | ||||
Proposed branch: | lp:~widelands-dev/widelands/remove-broken-splashscreen-skip | ||||
Merge into: | lp:widelands | ||||
Diff against target: |
101 lines (+4/-15) 3 files modified
src/ui_fsmenu/options.cc (+0/-7) src/ui_fsmenu/options.h (+0/-2) src/wlapplication.cc (+4/-6) |
||||
To merge this branch: | bzr merge lp:~widelands-dev/widelands/remove-broken-splashscreen-skip | ||||
Related bugs: |
|
Reviewer | Review Type | Date Requested | Status |
---|---|---|---|
Widelands Developers | Pending | ||
Review via email: mp+355529@code.launchpad.net |
Commit message
Back out r8841.
To post a comment you must log in.
The feature implementation in r8841 is incomplete, so I'm undoing the code change for now
@bunnybot merge