Merge lp:~widelands-dev/widelands/bug1201398 into lp:widelands

Proposed by cghislai
Status: Merged
Merged at revision: 6651
Proposed branch: lp:~widelands-dev/widelands/bug1201398
Merge into: lp:widelands
Diff against target: 0 lines
To merge this branch: bzr merge lp:~widelands-dev/widelands/bug1201398
Reviewer Review Type Date Requested Status
SirVer Approve
Review via email: mp+176043@code.launchpad.net

Description of the change

Small fixes, see bug reports.

Thanks for testing!

To post a comment you must log in.
Revision history for this message
SirVer (sirver) wrote :

there are merge conflicts in this proposal.

review: Needs Fixing
Revision history for this message
cghislai (charlyghislain) wrote :

should be fine now

Revision history for this message
SirVer (sirver) wrote :

lgtm. small fix was needed, a typo in unique_ptr.

review: Approve
Revision history for this message
cghislai (charlyghislain) wrote :

Oops, sorry

Preview Diff

Empty

Subscribers

People subscribed via source and target branches

to status/vote changes: