Merge lp:~widelands-dev/widelands/mine-symbol into lp:widelands
Proposed by
Hans Joachim Desserud
Status: | Merged |
---|---|
Merged at revision: | 6875 |
Proposed branch: | lp:~widelands-dev/widelands/mine-symbol |
Merge into: | lp:widelands |
Diff against target: |
11 lines (+1/-1) 1 file modified
campaigns/t02.wmf/scripting/mission_thread_texts.lua (+1/-1) |
To merge this branch: | bzr merge lp:~widelands-dev/widelands/mine-symbol |
Related bugs: |
Reviewer | Review Type | Date Requested | Status |
---|---|---|---|
GunChleoc | Approve | ||
Widelands Developers | Pending | ||
Review via email: mp+211195@code.launchpad.net |
Description of the change
The old mining symbol (pick and hammer in a cross) was replaced with a mine a long time ago. While translating I stumbled across this sentence which should be updated as well.
I'm not 100% happy with it, so if anyone has an idea which makes more sense, feel free to tweak it. :)
To post a comment you must log in.
Thanks for taking care of this bug :)