[Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1805325-joining-lan-games into lp:widelands

2018-11-28 Thread bunnybot
Continuous integration builds have changed state: Travis build 4306. State: passed. Details: https://travis-ci.org/widelands/widelands/builds/461050744. Appveyor build 4099. State: success. Details: https://ci.appveyor.com/project/widelands-dev/widelands/build/_widelands_dev_widelands_bug_180532

[Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1805325-joining-lan-games into lp:widelands

2018-11-28 Thread Notabilis
Notabilis has proposed merging lp:~widelands-dev/widelands/bug-1805325-joining-lan-games into lp:widelands. Commit message: Fixing crash on late joins of LAN games, fixing display of map name in LAN lobby. Requested reviews: Widelands Developers (widelands-dev) Related bugs: Bug #1805325 in

[Widelands-dev] [Merge] lp:~widelands-dev/widelands/robust-file-saving into lp:widelands

2018-11-28 Thread Arty
The proposal to merge lp:~widelands-dev/widelands/robust-file-saving into lp:widelands has been updated. Commit message changed to: Introduces a new class to robustly handle saving of files (incl. dealing with backups, handling errors, etc.) and use it whenever maps/games are being saved. For

Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands-website/django_staticfiles into lp:widelands-website

2018-11-28 Thread kaputtnik
Thanks :-) -- https://code.launchpad.net/~widelands-dev/widelands-website/django_staticfiles/+merge/359345 Your team Widelands Developers is subscribed to branch lp:widelands-website. ___ Mailing list: https://launchpad.net/~widelands-dev Post to :

Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands-website/inbox_link into lp:widelands-website

2018-11-28 Thread kaputtnik
Merged and deployed. I have send you a PM so you can test. -- https://code.launchpad.net/~widelands-dev/widelands-website/inbox_link/+merge/359673 Your team Widelands Developers is requested to review the proposed merge of lp:~widelands-dev/widelands-website/inbox_link into lp:widelands-website.

[Widelands-dev] [Merge] lp:~widelands-dev/widelands-website/inbox_link into lp:widelands-website

2018-11-28 Thread noreply
The proposal to merge lp:~widelands-dev/widelands-website/inbox_link into lp:widelands-website has been updated. Status: Needs review => Merged For more details, see: https://code.launchpad.net/~widelands-dev/widelands-website/inbox_link/+merge/359673 -- Your team Widelands Developers is re

Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/ubuntu-disco into lp:widelands

2018-11-28 Thread Toni Förster
It reports the name with a lowercase d. According to this log: https://launchpadlibrarian.net/399412545/buildlog_ubuntu-disco-i386.widelands_1%3A19-ppa0-bzr8937-201811281247~ubuntu19.04.1_BUILDING.txt.gz Package: widelands Version: 1:19-ppa0-bzr8937-201811281247~ubuntu19.04.1 Source Version: 1:19

[Widelands-dev] [Build #15715356] amd64 build of widelands 1:19-ppa0-bzr8937-201811281247~ubuntu19.04.1 in ubuntu disco RELEASE [~widelands-dev/ubuntu/widelands-daily]

2018-11-28 Thread Launchpad Buildd System
* Source Package: widelands * Version: 1:19-ppa0-bzr8937-201811281247~ubuntu19.04.1 * Architecture: amd64 * Archive: ~widelands-dev/ubuntu/widelands-daily * Component: main * State: Failed to build * Duration: 1 hour 20 minutes * Build Log: https://launchpad.net/~widelands-dev/+archive/u

[Widelands-dev] [Build #15715357] i386 build of widelands 1:19-ppa0-bzr8937-201811281247~ubuntu19.04.1 in ubuntu disco RELEASE [~widelands-dev/ubuntu/widelands-daily]

2018-11-28 Thread Launchpad Buildd System
* Source Package: widelands * Version: 1:19-ppa0-bzr8937-201811281247~ubuntu19.04.1 * Architecture: i386 * Archive: ~widelands-dev/ubuntu/widelands-daily * Component: main * State: Failed to build * Duration: 1 hour 10 minutes * Build Log: https://launchpad.net/~widelands-dev/+archive/ub

[Widelands-dev] [Merge] lp:~widelands-dev/widelands/io-dependency-fix into lp:widelands

2018-11-28 Thread noreply
The proposal to merge lp:~widelands-dev/widelands/io-dependency-fix into lp:widelands has been updated. Status: Needs review => Merged For more details, see: https://code.launchpad.net/~widelands-dev/widelands/io-dependency-fix/+merge/359658 -- Your team Widelands Developers is subscribed t

Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands-website/inbox_link into lp:widelands-website

2018-11-28 Thread GunChleoc
I'm not sue if the distinction makes for good usability. Let's deploy this though to see how it handles in production and whether it's confusing or not. -- https://code.launchpad.net/~widelands-dev/widelands-website/inbox_link/+merge/359673 Your team Widelands Developers is requested to review th

Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands-website/django_staticfiles into lp:widelands-website

2018-11-28 Thread GunChleoc
Review: Approve Tested again. Looks good to me :) -- https://code.launchpad.net/~widelands-dev/widelands-website/django_staticfiles/+merge/359345 Your team Widelands Developers is subscribed to branch lp:widelands-website. ___ Mailing list: https://lau

Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/ubuntu-disco into lp:widelands

2018-11-28 Thread GunChleoc
We should have disco -> Disco for consistency? LGTM otherwise :) -- https://code.launchpad.net/~widelands-dev/widelands/ubuntu-disco/+merge/359547 Your team Widelands Developers is requested to review the proposed merge of lp:~widelands-dev/widelands/ubuntu-disco into lp:widelands.

Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/io-dependency-fix into lp:widelands

2018-11-28 Thread GunChleoc
Review: Approve LGTM :) @bunnybot merge -- https://code.launchpad.net/~widelands-dev/widelands/io-dependency-fix/+merge/359658 Your team Widelands Developers is subscribed to branch lp:~widelands-dev/widelands/io-dependency-fix. ___ Mailing list: htt

[Widelands-dev] [Merge] lp:~widelands-dev/widelands/io-dependency-fix into lp:widelands

2018-11-28 Thread Arty
The proposal to merge lp:~widelands-dev/widelands/io-dependency-fix into lp:widelands has been updated. Commit message changed to: Remove a few superfluous includes which also breaks a small dependency cycle For more details, see: https://code.launchpad.net/~widelands-dev/widelands/io-dependenc

[Widelands-dev] [Merge] lp:~widelands-dev/widelands-website/inbox_link into lp:widelands-website

2018-11-28 Thread kaputtnik
kaputtnik has proposed merging lp:~widelands-dev/widelands-website/inbox_link into lp:widelands-website. Commit message: Link directly to PMs inbox if new message(s) are avialable. Requested reviews: Widelands Developers (widelands-dev) Related bugs: Bug #1804993 in Widelands Website: "Click