[Widelands-dev] [Merge] lp:~widelands-dev/widelands/show-ship-names into lp:widelands

2016-03-21 Thread noreply
The proposal to merge lp:~widelands-dev/widelands/show-ship-names into lp:widelands has been updated. Status: Needs review => Merged For more details, see: https://code.launchpad.net/~widelands-dev/widelands/show-ship-names/+merge/289562 -- Your team Widelands Developers is subscri

Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/show-ship-names into lp:widelands

2016-03-21 Thread GunChleoc
8-) @bunnybot merge -- https://code.launchpad.net/~widelands-dev/widelands/show-ship-names/+merge/289562 Your team Widelands Developers is subscribed to branch lp:~widelands-dev/widelands/show-ship-names. ___ Mailing list:

Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/show-ship-names into lp:widelands

2016-03-21 Thread TiborB
Review: Approve AFAIK -- https://code.launchpad.net/~widelands-dev/widelands/show-ship-names/+merge/289562 Your team Widelands Developers is subscribed to branch lp:~widelands-dev/widelands/show-ship-names. ___ Mailing list:

Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/show-ship-names into lp:widelands

2016-03-21 Thread GunChleoc
Done :) Is this ready to merge now? -- https://code.launchpad.net/~widelands-dev/widelands/show-ship-names/+merge/289562 Your team Widelands Developers is requested to review the proposed merge of lp:~widelands-dev/widelands/show-ship-names into lp:widelands

Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/show-ship-names into lp:widelands

2016-03-21 Thread TiborB
"Shipping" is fine -- https://code.launchpad.net/~widelands-dev/widelands/show-ship-names/+merge/289562 Your team Widelands Developers is requested to review the proposed merge of lp:~widelands-dev/widelands/show-ship-names into lp

Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/show-ship-names into lp:widelands

2016-03-21 Thread GunChleoc
pping"? That can be used as an intransitive verb :) -- https://code.launchpad.net/~widelands-dev/widelands/show-ship-names/+merge/289562 Your team Widelands Developers is requested to review the proposed merge of lp:~widelands-dev/widelands/show-ship-names into lp:widelands. __

Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/show-ship-names into lp:widelands

2016-03-21 Thread TiborB
r team Widelands Developers is requested to review the proposed merge of lp:~widelands-dev/widelands/show-ship-names into lp:widelands. ___ Mailing list: https://launchpad.net/~widelands-dev Post to : widelands-dev@lists.launchpad.net Unsubscribe : https:

Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/show-ship-names into lp:widelands

2016-03-20 Thread GunChleoc
, > + show_statistics_string, > statistics_string, > + dst, pos); > } > > int32_t Building::get_priority -- https://code.launchpad.net/~widelands-dev/widelands/show-ship-names/+merge/289562 Your team Widelands Developers is requested to review the proposed merge of lp:~widelands-dev/widelands/show-ship-names into lp:widelands. ___ Mailing list: https://launchpad.net/~widelands-dev Post to : widelands-dev@lists.launchpad.net Unsubscribe : https://launchpad.net/~widelands-dev More help : https://help.launchpad.net/ListHelp

Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/show-ship-names into lp:widelands

2016-03-20 Thread TiborB
; InteractiveBase::dfShowCensus, > info_string(InfoStringFormat::kCensus), > + show_statistics_string, > statistics_string, > + dst, pos); > } > > int32_t Building::get_priority --

Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/show-ship-names into lp:widelands

2016-03-20 Thread TiborB
ares. Right now I have no idea what short term can be used here... -- https://code.launchpad.net/~widelands-dev/widelands/show-ship-names/+merge/289562 Your team Widelands Developers is requested to review the proposed merge of lp:~widelands-dev/widelands/sho

[Widelands-dev] [Merge] lp:~widelands-dev/widelands/show-ship-names into lp:widelands

2016-03-19 Thread GunChleoc
: https://code.launchpad.net/~widelands-dev/widelands/show-ship-names/+merge/289562 I want to see those beautiful ship names :) -- Your team Widelands Developers is requested to review the proposed merge of lp:~widelands-dev/widelands/show-ship-names into lp:widelands. === modified file 'src/ai