No, I did not check that the bug is fixed. But the code is more correct than it
was before, so I thought getting it in is still a good idea.
--
https://code.launchpad.net/~widelands-dev/widelands/bug-1627537-window-mouserelease/+merge/313700
Your team Widelands Developers is subscribed to branch
Continuous integration builds have changed state:
Travis build 1891. State: passed. Details:
https://travis-ci.org/widelands/widelands/builds/196754156.
Appveyor build 1726. State: success. Details:
https://ci.appveyor.com/project/widelands-dev/widelands/build/_widelands_dev_widelands_bug_163738
TiborB has proposed merging lp:~widelands-dev/widelands/bug-1637386 into
lp:widelands.
Requested reviews:
Widelands Developers (widelands-dev)
Related bugs:
Bug #1637386 in widelands: "Militarysites warn about allies"
https://bugs.launchpad.net/widelands/+bug/1637386
For more details, see:
I wonder, SirVer did you test that that bug is fixed?
The code is ok for me, too.
--
https://code.launchpad.net/~widelands-dev/widelands/bug-1627537-window-mouserelease/+merge/313700
Your team Widelands Developers is subscribed to branch
lp:~widelands-dev/widelands/bug-1627537-window-mousereleas
The proposal to merge lp:~widelands-dev/widelands/bug-1512076-cleanup-static
into lp:widelands has been updated.
Status: Needs review => Merged
For more details, see:
https://code.launchpad.net/~widelands-dev/widelands/bug-1512076-cleanup-static/+merge/315350
--
Your team Widelands Develope
Continuous integration builds have changed state:
Travis build 1889. State: passed. Details:
https://travis-ci.org/widelands/widelands/builds/196519607.
Appveyor build 1724. State: success. Details:
https://ci.appveyor.com/project/widelands-dev/widelands/build/_widelands_dev_widelands_bug_151207
@bunnybot merge
--
https://code.launchpad.net/~widelands-dev/widelands/bug-1512076-cleanup-static/+merge/315350
Your team Widelands Developers is subscribed to branch
lp:~widelands-dev/widelands/bug-1512076-cleanup-static.
___
Mailing list: https://lau
The proposal to merge
lp:~widelands-dev/widelands/bug-1627537-window-mouserelease into lp:widelands
has been updated.
Status: Needs review => Merged
For more details, see:
https://code.launchpad.net/~widelands-dev/widelands/bug-1627537-window-mouserelease/+merge/313700
--
Your team Widelan
8 matches
Mail list logo