widelands-dev  

Messages by Date

• 2019/08/30 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/ferry into lp:widelands bunnybot
• 2019/08/30 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1841471-close-dropdowns-with-parent-windows into lp:widelands bunnybot
• 2019/08/30 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/ai_ga_unittests into lp:widelands bunnybot
• 2019/08/30 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/compiler-warnings-201908 into lp:widelands GunChleoc
• 2019/08/30 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/spritesheet_generation into lp:widelands GunChleoc
• 2019/08/30 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/ai_wai_files_29082019 into lp:widelands bunnybot
• 2019/08/30 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/amazons-coding-changes into lp:widelands hessenfarmer
• 2019/08/30 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/ai_ga_unittests into lp:widelands TiborB
• 2019/08/30 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/new-shipping into lp:widelands Klaus Halfmann
• 2019/08/30 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/ai_wai_files_29082019 into lp:widelands TiborB
• 2019/08/29 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/ferry into lp:widelands bunnybot
• 2019/08/29 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1841471-close-dropdowns-with-parent-windows into lp:widelands bunnybot
• 2019/08/29 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/new-shipping into lp:widelands kaputtnik
• 2019/08/29 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/ferry into lp:widelands GunChleoc
• 2019/08/29 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/new-shipping into lp:widelands bunnybot
• 2019/08/29 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1841471-close-dropdowns-with-parent-windows into lp:widelands GunChleoc
• 2019/08/29 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/new-shipping into lp:widelands Benedikt Straub
• 2019/08/29 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/ferry into lp:widelands GunChleoc
• 2019/08/29 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/ferry into lp:widelands Benedikt Straub
• 2019/08/29 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/new-shipping into lp:widelands GunChleoc
• 2019/08/28 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-794407-soldier-stats into lp:widelands bunnybot
• 2019/08/28 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands-website/pybb_attachments into lp:widelands-website kaputtnik
• 2019/08/28 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/balancing-201908 into lp:widelands bunnybot
• 2019/08/28 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-794407-soldier-stats into lp:widelands GunChleoc
• 2019/08/28 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/ferry into lp:widelands kaputtnik
• 2019/08/28 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-794407-soldier-stats into lp:widelands GunChleoc
• 2019/08/28 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-794407-soldier-stats into lp:widelands GunChleoc
• 2019/08/28 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/amazons-coding-changes into lp:widelands hessenfarmer
• 2019/08/28 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/ferry into lp:widelands TiborB
• 2019/08/28 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/new-shipping into lp:widelands kaputtnik
• 2019/08/28 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/balancing-201908 into lp:widelands GunChleoc
• 2019/08/28 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/amazons-coding-changes into lp:widelands GunChleoc
• 2019/08/28 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands-website/pybb_attachments into lp:widelands-website GunChleoc
• 2019/08/27 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/new-shipping into lp:widelands bunnybot
• 2019/08/27 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/ferry into lp:widelands Benedikt Straub
• 2019/08/27 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/new-shipping into lp:widelands Klaus Halfmann
• 2019/08/27 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/ferry into lp:widelands kaputtnik
• 2019/08/27 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/new-shipping into lp:widelands Benedikt Straub
• 2019/08/27 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/new-shipping into lp:widelands Klaus Halfmann
• 2019/08/27 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/new-shipping into lp:widelands Klaus Halfmann
• 2019/08/27 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/new-shipping into lp:widelands Benedikt Straub
• 2019/08/27 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/new-shipping into lp:widelands Klaus Halfmann
• 2019/08/27 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/new-shipping into lp:widelands Benedikt Straub
• 2019/08/27 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/new-shipping into lp:widelands Klaus Halfmann
• 2019/08/26 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/cleanup_playercommand_enums into lp:widelands noreply
• 2019/08/26 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/cleanup_playercommand_enums into lp:widelands bunnybot
• 2019/08/26 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/new-shipping into lp:widelands Klaus Halfmann
• 2019/08/26 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/unify-program-parsers into lp:widelands GunChleoc
• 2019/08/26 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/cleanup_playercommand_enums into lp:widelands GunChleoc
• 2019/08/25 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands-website/pybb_attachments into lp:widelands-website kaputtnik
• 2019/08/25 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands-website/pybb_attachments into lp:widelands-website kaputtnik
• 2019/08/25 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/cleanup_playercommand_enums into lp:widelands Toni Förster
• 2019/08/25 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/unify-program-parsers into lp:widelands Toni Förster
• 2019/08/23 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/amazons-coding-changes into lp:widelands bunnybot
• 2019/08/23 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/amazons-coding-changes into lp:widelands Benedikt Straub
• 2019/08/23 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/amazons-coding-changes into lp:widelands Benedikt Straub
• 2019/08/23 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/amazons-coding-changes into lp:widelands TiborB
• 2019/08/23 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/amazons-coding-changes into lp:widelands TiborB
• 2019/08/22 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands-website/pybb_attachments into lp:widelands-website kaputtnik
• 2019/08/20 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/productionsite-inactivity-bug into lp:widelands noreply
• 2019/08/20 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/productionsite-inactivity-bug into lp:widelands GunChleoc
• 2019/08/20 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands-website/pybb_attachments into lp:widelands-website Toni Förster
• 2019/08/20 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands-website/pybb_attachments into lp:widelands-website Toni Förster
• 2019/08/20 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands-website/pybb_attachments into lp:widelands-website kaputtnik
• 2019/08/18 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/new-shipping into lp:widelands Klaus Halfmann
• 2019/08/18 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands-website/pybb_attachments into lp:widelands-website kaputtnik
• 2019/08/18 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/new-shipping into lp:widelands Benedikt Straub
• 2019/08/17 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/new-shipping into lp:widelands Klaus Halfmann
• 2019/08/17 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/new-shipping into lp:widelands Klaus Halfmann
• 2019/08/17 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/ferry into lp:widelands TiborB
• 2019/08/17 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/new-shipping into lp:widelands Klaus Halfmann
• 2019/08/17 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/new-shipping into lp:widelands Benedikt Straub
• 2019/08/17 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/new-shipping into lp:widelands Klaus Halfmann
• 2019/08/17 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/ferry into lp:widelands Klaus Halfmann
• 2019/08/17 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/productionsite-inactivity-bug into lp:widelands bunnybot
• 2019/08/17 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/ferry into lp:widelands Benedikt Straub
• 2019/08/17 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/productionsite-inactivity-bug into lp:widelands Benedikt Straub
• 2019/08/16 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/new-shipping into lp:widelands bunnybot
• 2019/08/16 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/new-shipping into lp:widelands Klaus Halfmann
• 2019/08/16 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/new-shipping into lp:widelands Benedikt Straub
• 2019/08/16 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/new-shipping into lp:widelands Klaus Halfmann
• 2019/08/16 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/new-shipping into lp:widelands bunnybot
• 2019/08/16 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/new-shipping into lp:widelands Benedikt Straub
• 2019/08/15 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/new-shipping into lp:widelands Klaus Halfmann
• 2019/08/15 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/new-shipping into lp:widelands Benedikt Straub
• 2019/08/15 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/new-shipping into lp:widelands Klaus Halfmann
• 2019/08/15 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands-website/pybb_attachments into lp:widelands-website GunChleoc
• 2019/08/14 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands-website/pybb_attachments into lp:widelands-website Toni Förster
• 2019/08/14 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands-website/pybb_attachments into lp:widelands-website kaputtnik
• 2019/08/13 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/atlanteans_cornfield into lp:widelands noreply
• 2019/08/13 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/new_wai_files_11082019 into lp:widelands noreply
• 2019/08/13 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/new_wai_files_11082019 into lp:widelands hessenfarmer
• 2019/08/13 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/atlanteans_cornfield into lp:widelands kaputtnik
• 2019/08/13 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/economy-target-profiles into lp:widelands noreply
• 2019/08/13 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/economy-target-profiles into lp:widelands bunnybot
• 2019/08/13 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/atlanteans_cornfield into lp:widelands GunChleoc
• 2019/08/13 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/atlanteans_cornfield into lp:widelands kaputtnik
• 2019/08/13 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/new-shipping into lp:widelands Klaus Halfmann
• 2019/08/13 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/new-shipping into lp:widelands Benedikt Straub
• 2019/08/13 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/new-shipping into lp:widelands Klaus Halfmann
• 2019/08/13 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/economy-target-profiles into lp:widelands GunChleoc
• 2019/08/13 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/workarea-fixes into lp:widelands noreply
• 2019/08/13 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/economy-target-profiles into lp:widelands Benedikt Straub
• 2019/08/13 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/economy-target-profiles into lp:widelands GunChleoc
• 2019/08/13 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/workarea-fixes into lp:widelands GunChleoc
• 2019/08/13 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/economy-target-profiles into lp:widelands Benedikt Straub
• 2019/08/13 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/constructionsite_options into lp:widelands noreply
• 2019/08/13 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/new_wai_files_11082019 into lp:widelands bunnybot
• 2019/08/13 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/constructionsite_options into lp:widelands GunChleoc
• 2019/08/13 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/new_wai_files_11082019 into lp:widelands GunChleoc
• 2019/08/12 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/atlanteans_cornfield into lp:widelands bunnybot
• 2019/08/12 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/atlanteans_cornfield into lp:widelands kaputtnik
• 2019/08/12 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/atlanteans_cornfield into lp:widelands kaputtnik
• 2019/08/12 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/new-shipping into lp:widelands bunnybot
• 2019/08/11 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/new_wai_files_11082019 into lp:widelands bunnybot
• 2019/08/11 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/new-shipping into lp:widelands bunnybot
• 2019/08/11 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/constructionsite_options into lp:widelands bunnybot
• 2019/08/11 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/workarea-fixes into lp:widelands bunnybot
• 2019/08/11 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/new_wai_files_11082019 into lp:widelands TiborB
• 2019/08/11 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/travis_xenial into lp:widelands kaputtnik
• 2019/08/11 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/new-shipping into lp:widelands Benedikt Straub
• 2019/08/11 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands-website/pybb_attachments into lp:widelands-website kaputtnik
• 2019/08/11 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/new-shipping into lp:widelands Klaus Halfmann
• 2019/08/11 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/constructionsite_options into lp:widelands Klaus Halfmann
• 2019/08/11 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/workarea-fixes into lp:widelands Benedikt Straub
• 2019/08/11 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/constructionsite_options into lp:widelands Benedikt Straub
• 2019/08/11 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/new-shipping into lp:widelands Benedikt Straub
• 2019/08/11 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/new-shipping into lp:widelands Klaus Halfmann
• 2019/08/11 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/new-shipping into lp:widelands Benedikt Straub
• 2019/08/10 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/new-shipping into lp:widelands Klaus Halfmann
• 2019/08/10 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/new-shipping into lp:widelands Klaus Halfmann
• 2019/08/10 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/new-shipping into lp:widelands Klaus Halfmann
• 2019/08/10 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/new-shipping into lp:widelands bunnybot
• 2019/08/10 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands-website/pybb_attachments into lp:widelands-website kaputtnik
• 2019/08/10 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/toolbar-dropdown-scripting-review-only into lp:widelands GunChleoc
• 2019/08/10 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/toolbar-dropdown-scripting-review-only into lp:widelands Klaus Halfmann
• 2019/08/10 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/toolbar-dropdown-menus into lp:widelands noreply
• 2019/08/10 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/toolbar-dropdown-scripting-review-only into lp:widelands noreply
• 2019/08/10 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/toolbar-dropdown-menus into lp:widelands bunnybot
• 2019/08/10 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands-website/pybb_attachments into lp:widelands-website GunChleoc
• 2019/08/10 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/toolbar-dropdown-menus into lp:widelands GunChleoc
• 2019/08/10 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/toolbar-dropdown-menus into lp:widelands Klaus Halfmann
• 2019/08/10 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands-website/pybb_attachments into lp:widelands-website kaputtnik
• 2019/08/10 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/toolbar-dropdown-menus into lp:widelands Klaus Halfmann
• 2019/08/10 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/new-shipping into lp:widelands Benedikt Straub
• 2019/08/10 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/toolbar-dropdown-menus into lp:widelands Klaus Halfmann
• 2019/08/10 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/toolbar-dropdown-menus into lp:widelands Klaus Halfmann
• 2019/08/09 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/toolbar-dropdown-menus into lp:widelands bunnybot
• 2019/08/09 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/toolbar-dropdown-menus into lp:widelands bunnybot
• 2019/08/09 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/toolbar-dropdown-menus into lp:widelands Klaus Halfmann
• 2019/08/09 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/ferry into lp:widelands bunnybot
• 2019/08/09 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/toolbar-dropdown-menus into lp:widelands GunChleoc
• 2019/08/09 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/toolbar-dropdown-menus into lp:widelands Klaus Halfmann
• 2019/08/05 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands-website/toc_to_latest_posts into lp:widelands-website kaputtnik
• 2019/08/05 [Widelands-dev] [Merge] lp:~widelands-dev/widelands-website/toc_to_latest_posts into lp:widelands-website noreply
• 2019/08/05 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands-website/toc_to_latest_posts into lp:widelands-website GunChleoc
• 2019/08/02 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/ai_flag_warehouse_distance into lp:widelands noreply
• 2019/08/02 [Widelands-dev] [Merge] lp:~widelands-dev/widelands-website/toc_to_latest_posts into lp:widelands-website kaputtnik
• 2019/08/02 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/ai_flag_warehouse_distance into lp:widelands hessenfarmer
• 2019/08/02 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/ai_flag_warehouse_distance into lp:widelands bunnybot
• 2019/08/02 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/gcc9 into lp:widelands noreply
• 2019/08/01 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/ai_flag_warehouse_distance into lp:widelands GunChleoc
• 2019/08/01 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/gcc9 into lp:widelands GunChleoc
• 2019/08/01 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/gcc9 into lp:widelands hessenfarmer
• 2019/07/31 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/ai_flag_warehouse_distance into lp:widelands TiborB
• 2019/07/31 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1838193-savedir into lp:widelands noreply
• 2019/07/31 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1838193-savedir into lp:widelands bunnybot
• 2019/07/31 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/ai_flag_warehouse_distance into lp:widelands TiborB
• 2019/07/31 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1838193-savedir into lp:widelands GunChleoc
• 2019/07/31 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/toolbar-dropdown-menus into lp:widelands GunChleoc
• 2019/07/31 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1838193-savedir into lp:widelands GunChleoc
• 2019/07/31 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/gcc9 into lp:widelands GunChleoc
• 2019/07/31 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/ai_flag_warehouse_distance into lp:widelands GunChleoc
• 2019/07/31 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/toolbar-dropdown-menus into lp:widelands GunChleoc
• 2019/07/31 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands-website/pybb_attachments into lp:widelands-website GunChleoc
• 2019/07/31 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/gcc9 into lp:widelands GunChleoc
• 2019/07/29 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/ai_flag_warehouse_distance into lp:widelands TiborB
• 2019/07/29 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/ai_flag_warehouse_distance into lp:widelands hessenfarmer
• 2019/07/28 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/toolbar-dropdown-menus into lp:widelands bunnybot
• 2019/07/28 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/toolbar-dropdown-menus into lp:widelands Klaus Halfmann
• 2019/07/28 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/gcc9 into lp:widelands bunnybot
• 2019/07/28 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands-website/pybb_attachments into lp:widelands-website kaputtnik
• 2019/07/28 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/refactor_gamehost into lp:widelands bunnybot
• 2019/07/28 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/toolbar-dropdown-menus into lp:widelands Klaus Halfmann
• 2019/07/28 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands-website/sitemap_https into lp:widelands-website kaputtnik
• 2019/07/28 [Widelands-dev] [Merge] lp:~widelands-dev/widelands-website/sitemap_https into lp:widelands-website noreply
• 2019/07/28 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/gcc9 into lp:widelands Tino
• 2019/07/28 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/gcc9 into lp:widelands GunChleoc
• 2019/07/28 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/toolbar-dropdown-menus into lp:widelands GunChleoc
• 2019/07/28 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/gcc9 into lp:widelands kaputtnik
• 2019/07/28 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/gcc9 into lp:widelands GunChleoc
• 2019/07/27 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/arrow-keys-map-movement into lp:widelands noreply
• 2019/07/27 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/arrow-keys-map-movement into lp:widelands Klaus Halfmann
• 2019/07/27 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/arrow-keys-map-movement into lp:widelands bunnybot
• 2019/07/27 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/arrow-keys-map-movement into lp:widelands Klaus Halfmann
• 2019/07/27 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/cleanup_playercommand_enums into lp:widelands GunChleoc
• 2019/07/27 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/refactor_gamehost into lp:widelands GunChleoc
• 2019/07/27 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands-website/sitemap_https into lp:widelands-website GunChleoc
• 2019/07/27 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug_1836107_lGL into lp:widelands GunChleoc
• 2019/07/27 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands-website/pybb_attachments into lp:widelands-website GunChleoc

• Earlier messages
• Later messages