widelands-dev  

Messages by Date

• 2019/05/12 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1825932-open-games-clean-start into lp:widelands GunChleoc
• 2019/05/12 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/overlapping_workareas into lp:widelands Toni Förster
• 2019/05/12 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1825932-open-games-clean-start into lp:widelands Toni Förster
• 2019/05/12 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1827786-metaserver-login-box-clean-start into lp:widelands Toni Förster
• 2019/05/12 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1827786-metaserver-login-box-clean-start into lp:widelands Toni Förster
• 2019/05/12 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1827786-metaserver-login-box-clean-start into lp:widelands Toni Förster
• 2019/05/12 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1827786-metaserver-login-box into lp:widelands Toni Förster
• 2019/05/12 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1825932-open-games-clean-start into lp:widelands Toni Förster
• 2019/05/12 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1825932-open-games into lp:widelands Toni Förster
• 2019/05/12 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/productionsite-bugs into lp:widelands GunChleoc
• 2019/05/12 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/productionsite-bugs into lp:widelands Benedikt Straub
• 2019/05/12 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/AI-fixes into lp:widelands GunChleoc
• 2019/05/12 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1797702-spaces-in-names into lp:widelands bunnybot
• 2019/05/12 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1797702-spaces-in-names into lp:widelands bunnybot
• 2019/05/12 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/productionsite-bugs into lp:widelands GunChleoc
• 2019/05/12 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/representative_image_in_font_renderer into lp:widelands GunChleoc
• 2019/05/12 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/AI-fixes into lp:widelands GunChleoc
• 2019/05/12 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/productionsite-bugs into lp:widelands GunChleoc
• 2019/05/12 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/economy-target-profiles into lp:widelands GunChleoc
• 2019/05/12 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/localization-post-build20 into lp:widelands GunChleoc
• 2019/05/12 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/font_size-lua into lp:widelands GunChleoc
• 2019/05/11 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/AI-fixes into lp:widelands TiborB
• 2019/05/11 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/per-level-soldier-anims into lp:widelands bunnybot
• 2019/05/11 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/economy-target-profiles into lp:widelands bunnybot
• 2019/05/11 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/localization-post-build20 into lp:widelands bunnybot
• 2019/05/11 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1797702-spaces-in-names-clean-start into lp:widelands Toni Förster
• 2019/05/11 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1827786-metaserver-login-box into lp:widelands Toni Förster
• 2019/05/11 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1797702-spaces-in-names-clean-start into lp:widelands Toni Förster
• 2019/05/11 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1797702-spaces-in-names-clean-start into lp:widelands Toni Förster
• 2019/05/11 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1827786-metaserver-login-box into lp:widelands Toni Förster
• 2019/05/11 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1827786-metaserver-login-box-clean-start into lp:widelands Toni Förster
• 2019/05/11 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1827786-metaserver-login-box-clean-start into lp:widelands Toni Förster
• 2019/05/11 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1825932-open-games into lp:widelands Toni Förster
• 2019/05/11 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1825932-open-games into lp:widelands Toni Förster
• 2019/05/11 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1825932-open-games-clean-start into lp:widelands Toni Förster
• 2019/05/11 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1825932-open-games-clean-start into lp:widelands Toni Förster
• 2019/05/11 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1797702-spaces-in-names-clean-start into lp:widelands Toni Förster
• 2019/05/11 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1797702-spaces-in-names-clean-start into lp:widelands Toni Förster
• 2019/05/11 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1797702-spaces-in-names-clean-start into lp:widelands Toni Förster
• 2019/05/11 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/productionsite-bugs into lp:widelands bunnybot
• 2019/05/11 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/AI-fixes into lp:widelands hessenfarmer
• 2019/05/11 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/AI-fixes into lp:widelands hessenfarmer
• 2019/05/11 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/localization-post-build20 into lp:widelands hessenfarmer
• 2019/05/11 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1797702-spaces-in-names into lp:widelands Toni Förster
• 2019/05/11 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1797702-spaces-in-names into lp:widelands Toni Förster
• 2019/05/11 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/choose-attack-soldiers into lp:widelands noreply
• 2019/05/11 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1797702-spaces-in-names into lp:widelands Toni Förster
• 2019/05/11 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/productionsite-bugs into lp:widelands Benedikt Straub
• 2019/05/11 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/productionsite-bugs into lp:widelands Toni Förster
• 2019/05/11 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/productionsite-bugs into lp:widelands Benedikt Straub
• 2019/05/11 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/productionsite-bugs into lp:widelands Benedikt Straub
• 2019/05/11 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/productionsite-bugs into lp:widelands Toni Förster
• 2019/05/11 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/productionsite-bugs into lp:widelands Toni Förster
• 2019/05/11 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/productionsite-bugs into lp:widelands Toni Förster
• 2019/05/11 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/economy-target-profiles into lp:widelands Benedikt Straub
• 2019/05/11 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/economy-target-profiles into lp:widelands Toni Förster
• 2019/05/11 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/economy-target-profiles into lp:widelands Benedikt Straub
• 2019/05/11 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/economy-target-profiles into lp:widelands Toni Förster
• 2019/05/11 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1827786-metaserver-login-box into lp:widelands Toni Förster
• 2019/05/11 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/economy-target-profiles into lp:widelands Benedikt Straub
• 2019/05/11 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1827786-metaserver-login-box into lp:widelands Toni Förster
• 2019/05/11 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/productionsite-bugs into lp:widelands Benedikt Straub
• 2019/05/11 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1825932-open-games into lp:widelands Toni Förster
• 2019/05/11 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/localization-post-build20 into lp:widelands GunChleoc
• 2019/05/11 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/localization-post-build20 into lp:widelands GunChleoc
• 2019/05/11 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/economy-target-profiles into lp:widelands Benedikt Straub
• 2019/05/11 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/economy-target-profiles into lp:widelands Toni Förster
• 2019/05/11 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/font_size-lua into lp:widelands Toni Förster
• 2019/05/11 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/representative_image_in_font_renderer into lp:widelands Toni Förster
• 2019/05/11 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/font_size-lua into lp:widelands GunChleoc
• 2019/05/11 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/economy-target-profiles into lp:widelands Toni Förster
• 2019/05/11 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/choose-attack-soldiers into lp:widelands GunChleoc
• 2019/05/11 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/choose-attack-soldiers into lp:widelands Toni Förster
• 2019/05/11 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/choose-attack-soldiers into lp:widelands Benedikt Straub
• 2019/05/11 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/choose-attack-soldiers into lp:widelands GunChleoc
• 2019/05/10 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/choose-attack-soldiers into lp:widelands bunnybot
• 2019/05/10 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/economy-target-profiles into lp:widelands bunnybot
• 2019/05/10 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/font_size-lua into lp:widelands kaputtnik
• 2019/05/10 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/font_size-lua into lp:widelands kaputtnik
• 2019/05/10 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/choose-attack-soldiers into lp:widelands Toni Förster
• 2019/05/10 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/choose-attack-soldiers into lp:widelands Toni Förster
• 2019/05/10 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/choose-attack-soldiers into lp:widelands Benedikt Straub
• 2019/05/10 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/choose-attack-soldiers into lp:widelands Toni Förster
• 2019/05/10 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/choose-attack-soldiers into lp:widelands Benedikt Straub
• 2019/05/10 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/choose-attack-soldiers into lp:widelands Toni Förster
• 2019/05/10 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/economy-target-profiles into lp:widelands Benedikt Straub
• 2019/05/10 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/choose-attack-soldiers into lp:widelands Benedikt Straub
• 2019/05/10 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/choose-attack-soldiers into lp:widelands Toni Förster
• 2019/05/10 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/choose-attack-soldiers into lp:widelands Toni Förster
• 2019/05/10 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands-website/show_user_posts into lp:widelands-website kaputtnik
• 2019/05/10 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/choose-attack-soldiers into lp:widelands Benedikt Straub
• 2019/05/10 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/choose-attack-soldiers into lp:widelands Toni Förster
• 2019/05/10 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/choose-attack-soldiers into lp:widelands Toni Förster
• 2019/05/10 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/choose-attack-soldiers into lp:widelands Toni Förster
• 2019/05/10 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/economy-target-profiles into lp:widelands GunChleoc
• 2019/05/10 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/choose-attack-soldiers into lp:widelands GunChleoc
• 2019/05/10 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/choose-attack-soldiers into lp:widelands Toni Förster
• 2019/05/10 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1797702-spaces-in-names into lp:widelands noreply
• 2019/05/10 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/choose-attack-soldiers into lp:widelands Benedikt Straub
• 2019/05/10 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/economy-target-profiles into lp:widelands Benedikt Straub
• 2019/05/10 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/economy-target-profiles into lp:widelands GunChleoc
• 2019/05/10 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1827786-metaserver-login-box into lp:widelands GunChleoc
• 2019/05/10 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands-website/show_user_posts into lp:widelands-website GunChleoc
• 2019/05/10 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/choose-attack-soldiers into lp:widelands GunChleoc
• 2019/05/10 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1827786-metaserver-login-box into lp:widelands GunChleoc
• 2019/05/10 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/choose-attack-soldiers into lp:widelands GunChleoc
• 2019/05/09 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1827786-metaserver-login-box into lp:widelands kaputtnik
• 2019/05/09 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1825932-open-games into lp:widelands GunChleoc
• 2019/05/09 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1797702-spaces-in-names into lp:widelands GunChleoc
• 2019/05/09 [Widelands-dev] [Merge] lp:~widelands-dev/widelands-website/show_user_posts into lp:widelands-website kaputtnik
• 2019/05/09 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1827786-metaserver-login-box into lp:widelands bunnybot
• 2019/05/09 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1827033-shipping-algorithm into lp:widelands kaputtnik
• 2019/05/09 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/choose-attack-soldiers into lp:widelands Toni Förster
• 2019/05/09 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1825932-open-games into lp:widelands bunnybot
• 2019/05/09 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/economy-target-profiles into lp:widelands Benedikt Straub
• 2019/05/09 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/choose-attack-soldiers into lp:widelands Benedikt Straub
• 2019/05/09 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/choose-attack-soldiers into lp:widelands Toni Förster
• 2019/05/09 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/soldier-capacity-ctrl into lp:widelands Toni Förster
• 2019/05/09 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/soldier-capacity-ctrl into lp:widelands Toni Förster
• 2019/05/09 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/choose-attack-soldiers into lp:widelands Benedikt Straub
• 2019/05/09 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/choose-attack-soldiers into lp:widelands Toni Förster
• 2019/05/09 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/economy-target-profiles into lp:widelands Toni Förster
• 2019/05/09 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/economy-target-profiles into lp:widelands Toni Förster
• 2019/05/09 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1825932-open-games into lp:widelands Toni Förster
• 2019/05/09 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/split_up_liblogic_3_some_circular into lp:widelands noreply
• 2019/05/09 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1827786-metaserver-login-box into lp:widelands Toni Förster
• 2019/05/09 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1825932-open-games into lp:widelands Toni Förster
• 2019/05/09 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1797702-spaces-in-names into lp:widelands Toni Förster
• 2019/05/09 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/split_up_liblogic_3_some_circular into lp:widelands GunChleoc
• 2019/05/09 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/choose-attack-soldiers into lp:widelands GunChleoc
• 2019/05/09 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1797702-spaces-in-names into lp:widelands GunChleoc
• 2019/05/09 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1825932-open-games into lp:widelands GunChleoc
• 2019/05/08 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1827786-metaserver-login-box into lp:widelands GunChleoc
• 2019/05/08 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1827786-metaserver-login-box into lp:widelands bunnybot
• 2019/05/08 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1797702-spaces-in-names into lp:widelands bunnybot
• 2019/05/08 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/economy-target-profiles into lp:widelands bunnybot
• 2019/05/08 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1827786-metaserver-login-box into lp:widelands Toni Förster
• 2019/05/08 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1827786-metaserver-login-box into lp:widelands kaputtnik
• 2019/05/08 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/economy-target-profiles into lp:widelands Benedikt Straub
• 2019/05/08 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/economy-target-profiles into lp:widelands kaputtnik
• 2019/05/08 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1797702-spaces-in-names into lp:widelands Toni Förster
• 2019/05/08 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1797702-spaces-in-names into lp:widelands Toni Förster
• 2019/05/08 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1797702-spaces-in-names into lp:widelands Toni Förster
• 2019/05/08 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/economy-target-profiles into lp:widelands Benedikt Straub
• 2019/05/08 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1827786-metaserver-login-box into lp:widelands Toni Förster
• 2019/05/08 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1827786-metaserver-login-box into lp:widelands Toni Förster
• 2019/05/07 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1825932-open-games into lp:widelands bunnybot
• 2019/05/07 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/choose-attack-soldiers into lp:widelands bunnybot
• 2019/05/07 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/choose-attack-soldiers into lp:widelands Benedikt Straub
• 2019/05/06 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1825932-open-games into lp:widelands bunnybot
• 2019/05/06 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1825932-open-games into lp:widelands Toni Förster
• 2019/05/06 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1825932-open-games into lp:widelands Toni Förster
• 2019/05/06 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/economy-target-profiles into lp:widelands bunnybot
• 2019/05/06 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/economy-target-profiles into lp:widelands Benedikt Straub
• 2019/05/06 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/economy-target-profiles into lp:widelands Benedikt Straub
• 2019/05/06 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/split_up_liblogic_3_some_circular into lp:widelands bunnybot
• 2019/05/05 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/economy-target-profiles into lp:widelands Benedikt Straub
• 2019/05/05 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/economy-target-profiles into lp:widelands bunnybot
• 2019/05/05 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/split_up_liblogic_3_some_circular into lp:widelands bunnybot
• 2019/05/05 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1827033-shipping-algorithm into lp:widelands bunnybot
• 2019/05/05 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1827182-sort-client-list into lp:widelands noreply
• 2019/05/05 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1827182-sort-client-list into lp:widelands Toni Förster
• 2019/05/05 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1827182-sort-client-list into lp:widelands bunnybot
• 2019/05/05 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/split_up_liblogic_3_some_circular into lp:widelands GunChleoc
• 2019/05/05 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/split_up_liblogic_3_some_circular into lp:widelands GunChleoc
• 2019/05/05 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/economy-target-profiles into lp:widelands GunChleoc
• 2019/05/05 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/economy-target-profiles into lp:widelands Benedikt Straub
• 2019/05/05 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/split_up_liblogic_2_mapobjectdescr into lp:widelands noreply
• 2019/05/05 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/economy-target-profiles into lp:widelands GunChleoc
• 2019/05/05 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/split_up_liblogic_2_mapobjectdescr into lp:widelands GunChleoc
• 2019/05/05 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1827182-sort-client-list into lp:widelands GunChleoc
• 2019/05/05 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1827182-sort-client-list into lp:widelands Toni Förster
• 2019/05/05 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1827033-shipping-algorithm into lp:widelands Benedikt Straub
• 2019/05/05 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1827182-sort-client-list into lp:widelands Klaus Halfmann
• 2019/05/05 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/refactor_gameclient into lp:widelands bunnybot
• 2019/05/05 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1827182-sort-client-list into lp:widelands Klaus Halfmann
• 2019/05/05 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1827182-sort-client-list into lp:widelands Toni Förster
• 2019/05/05 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1827182-sort-client-list into lp:widelands Klaus Halfmann
• 2019/05/05 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1827182-sort-client-list into lp:widelands Toni Förster
• 2019/05/05 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1827182-sort-client-list into lp:widelands Klaus Halfmann
• 2019/05/05 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1827182-sort-client-list into lp:widelands Toni Förster
• 2019/05/05 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/split_up_liblogic_2_mapobjectdescr into lp:widelands Benedikt Straub
• 2019/05/05 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1827182-sort-client-list into lp:widelands Toni Förster
• 2019/05/05 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1827182-sort-client-list into lp:widelands Klaus Halfmann
• 2019/05/05 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/economy-target-profiles into lp:widelands Benedikt Straub
• 2019/05/05 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1827182-sort-client-list into lp:widelands Toni Förster
• 2019/05/05 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1827182-sort-client-list into lp:widelands Toni Förster
• 2019/05/04 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/refactor_gameclient into lp:widelands Klaus Halfmann
• 2019/05/04 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/economy-target-profiles into lp:widelands GunChleoc
• 2019/05/04 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1827182-sort-client-list into lp:widelands GunChleoc
• 2019/05/04 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/economy-target-profiles into lp:widelands bunnybot
• 2019/05/04 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/split_up_liblogic_2_mapobjectdescr into lp:widelands bunnybot
• 2019/05/04 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1827182-sort-client-list into lp:widelands Toni Förster
• 2019/05/04 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1827182-sort-client-list into lp:widelands Toni Förster
• 2019/05/04 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1827182-sort-client-list into lp:widelands Toni Förster
• 2019/05/04 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/font_size-lua into lp:widelands bunnybot
• 2019/05/04 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/economy-target-profiles into lp:widelands Benedikt Straub
• 2019/05/04 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/refactor_gameclient into lp:widelands Klaus Halfmann
• 2019/05/04 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/representative_image_in_font_renderer into lp:widelands noreply
• 2019/05/04 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/representative_image_in_font_renderer into lp:widelands GunChleoc

• Earlier messages
• Later messages