widelands-dev team mailing list archive
-
widelands-dev team
-
Mailing list archive
-
Message #00709
Re: [Merge] lp:~alocritani/widelands/resource_info_in_editor into lp:widelands
The reason is the following: I merged it and forgot to push, then someone else commited stuff to trunk. So I rebase and somehow some metadata of the merge got lost.
It is completly in trunk though. Also: thanks for including the help.lua into catalogues - I somehow missed this.
--
https://code.launchpad.net/~alocritani/widelands/resource_info_in_editor/+merge/98150
Your team Widelands Developers is requested to review the proposed merge of lp:~alocritani/widelands/resource_info_in_editor into lp:widelands.
References