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

Arty has proposed merging lp:~widelands-dev/widelands/robust-file-saving into lp:widelands with lp:~widelands-dev/widelands/bug-1753230-working-with-tempfiles as a prerequisite. Requested reviews: Widelands Developers (widelands-dev) For more details, see:

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

Friendly ping: What is the state of testing? Applying an other look and feel can be adjusted if this branch is deployed, i think. -- https://code.launchpad.net/~widelands-dev/widelands-website/tabbed_profile/+merge/356749 Your team Widelands Developers is requested to review the proposed merge

Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1800814-update-script into lp:widelands

Review: Approve compile.ch / 2 x update.sh Works as desigends, lets have it. @bunnybot merge -- https://code.launchpad.net/~widelands-dev/widelands/bug-1800814-update-script/+merge/358419 Your team Widelands Developers is subscribed to branch

Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1800814-update-script into lp:widelands

Had to manully inject code from number_of_cpus branch. code is straight foreward. -- https://code.launchpad.net/~widelands-dev/widelands/bug-1800814-update-script/+merge/358419 Your team Widelands Developers is requested to review the proposed merge of

[Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1800337-unlocalize-log into lp:widelands

GunChleoc has proposed merging lp:~widelands-dev/widelands/bug-1800337-unlocalize-log into lp:widelands. Commit message: Use internal names rather than descnames for log messages and workarea IDs. Requested reviews: Widelands Developers (widelands-dev) Related bugs: Bug #1800337 in