The proposal to merge lp:~widelands-dev/widelands/changelog-9201 into
lp:widelands has been updated.
Status: Needs review => Merged
For more details, see:
https://code.launchpad.net/~widelands-dev/widelands/changelog-9201/+merge/372450
--
Your team Widelands Developers is reques
I need this for the move to GitHub, so I'll merge without review.
--
https://code.launchpad.net/~widelands-dev/widelands/changelog-9201/+merge/372450
Your team Widelands Developers is requested to review the proposed merge of
lp:~widelands-dev/widelands/changelog-9201 into lp:widelands
/_widelands_dev_widelands_changelog_9201-5186.
--
https://code.launchpad.net/~widelands-dev/widelands/changelog-9201/+merge/372450
Your team Widelands Developers is requested to review the proposed merge of
lp:~widelands-dev/widelands/changelog-9201 into lp:widelands.
___
Mailing list
/372450
--
Your team Widelands Developers is requested to review the proposed merge of
lp:~widelands-dev/widelands/changelog-9201 into lp:widelands.
=== modified file 'ChangeLog'
--- ChangeLog 2019-06-05 14:19:09 +
+++ ChangeLog 2019-09-08 12:06:44 +
@@ -1,9 +1,13 @@
-## Post Build 20 until
4 matches
Mail list logo