widelands-dev  

Messages by Date

• 2019/05/29 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1830778-lobby-initial-client-layout-broken into lp:widelands noreply
• 2019/05/29 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/unify_sleep_time into lp:widelands hessenfarmer
• 2019/05/29 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1830778-lobby-initial-client-layout-broken into lp:widelands bunnybot
• 2019/05/29 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/unify_sleep_time into lp:widelands Toni Förster
• 2019/05/29 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/unify_sleep_time into lp:widelands hessenfarmer
• 2019/05/29 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/unify_sleep_time into lp:widelands Toni Förster
• 2019/05/29 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/unify_sleep_time into lp:widelands Toni Förster
• 2019/05/29 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/workarea-fixes into lp:widelands Benedikt Straub
• 2019/05/29 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/economy-target-profiles into lp:widelands noreply
• 2019/05/29 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/failed_skipped_10s into lp:widelands Toni Förster
• 2019/05/29 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/immovables_icon_wrong_path_menu into lp:widelands Toni Förster
• 2019/05/29 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1830776-password-field-captures-input into lp:widelands Toni Förster
• 2019/05/29 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/economy-target-profiles into lp:widelands GunChleoc
• 2019/05/29 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/economy-target-profiles into lp:widelands bunnybot
• 2019/05/29 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/economy-target-profiles into lp:widelands bunnybot
• 2019/05/29 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1830778-lobby-initial-client-layout-broken into lp:widelands GunChleoc
• 2019/05/29 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1830778-lobby-initial-client-layout-broken into lp:widelands GunChleoc
• 2019/05/29 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1830776-password-field-captures-input into lp:widelands GunChleoc
• 2019/05/29 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1830776-password-field-captures-input into lp:widelands GunChleoc
• 2019/05/29 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/immovables_icon_wrong_path_menu into lp:widelands GunChleoc
• 2019/05/29 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/failed_skipped_10s into lp:widelands hessenfarmer
• 2019/05/29 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/immovables_icon_wrong_path_menu into lp:widelands Toni Förster
• 2019/05/29 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1830778-lobby-initial-client-layout-broken into lp:widelands Toni Förster
• 2019/05/29 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1830776-password-field-captures-input into lp:widelands Toni Förster
• 2019/05/29 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/failed_skipped_10s into lp:widelands Toni Förster
• 2019/05/29 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/failed_skipped_10s into lp:widelands hessenfarmer
• 2019/05/29 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/failed_skipped_10s into lp:widelands Toni Förster
• 2019/05/29 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/immovables_icon_wrong_path_menu into lp:widelands Toni Förster
• 2019/05/29 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/failed_skipped_10s into lp:widelands hessenfarmer
• 2019/05/29 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/failed_skipped_10s into lp:widelands Toni Förster
• 2019/05/29 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/immovables_icon_wrong_path_menu into lp:widelands GunChleoc
• 2019/05/29 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/failed_skipped_10s into lp:widelands Toni Förster
• 2019/05/29 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/failed_skipped_10s into lp:widelands Toni Förster
• 2019/05/29 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/failed_skipped_10s into lp:widelands hessenfarmer
• 2019/05/29 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/appveyor_opengl into lp:widelands GunChleoc
• 2019/05/29 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/immovables_icon_wrong_path_menu into lp:widelands Toni Förster
• 2019/05/29 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/failed_skipped_10s into lp:widelands hessenfarmer
• 2019/05/29 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/economy-target-profiles into lp:widelands Benedikt Straub
• 2019/05/29 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/appveyor_opengl into lp:widelands hessenfarmer
• 2019/05/29 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/appveyor_opengl into lp:widelands hessenfarmer
• 2019/05/29 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/appveyor_opengl into lp:widelands hessenfarmer
• 2019/05/29 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/failed_skipped_10s into lp:widelands GunChleoc
• 2019/05/29 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/immovables_icon_wrong_path_menu into lp:widelands GunChleoc
• 2019/05/29 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/immovables_icon_wrong_path_menu into lp:widelands Toni Förster
• 2019/05/28 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/immovables_icon_wrong_path_menu into lp:widelands GunChleoc
• 2019/05/28 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/economy-target-profiles into lp:widelands GunChleoc
• 2019/05/28 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/failed_skipped_10s into lp:widelands bunnybot
• 2019/05/28 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/immovables_icon_wrong_path_menu into lp:widelands bunnybot
• 2019/05/28 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/failed_skipped_10s into lp:widelands Toni Förster
• 2019/05/28 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/failed_skipped_10s into lp:widelands Toni Förster
• 2019/05/28 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/ferry into lp:widelands bunnybot
• 2019/05/28 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/immovables_icon_wrong_path_menu into lp:widelands Toni Förster
• 2019/05/28 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/constructionsite_options into lp:widelands bunnybot
• 2019/05/28 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/ferry into lp:widelands bunnybot
• 2019/05/28 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/constructionsite_options into lp:widelands bunnybot
• 2019/05/28 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/economy-target-profiles into lp:widelands Benedikt Straub
• 2019/05/27 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/list-directories-in-cpp into lp:widelands noreply
• 2019/05/27 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/list-directories-in-cpp into lp:widelands GunChleoc
• 2019/05/27 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/list-directories-in-cpp into lp:widelands bunnybot
• 2019/05/27 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/changelog-post-build-20 into lp:widelands bunnybot
• 2019/05/27 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1828355-windows-localedir into lp:widelands bunnybot
• 2019/05/27 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1830526-soldier-walk-anims into lp:widelands noreply
• 2019/05/27 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1830526-soldier-walk-anims into lp:widelands bunnybot
• 2019/05/27 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bridges into lp:widelands bunnybot
• 2019/05/27 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1797702-spaces-in-names into lp:widelands GunChleoc
• 2019/05/27 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1797702-spaces-in-names into lp:widelands GunChleoc
• 2019/05/27 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/list-directories-in-cpp into lp:widelands bunnybot
• 2019/05/27 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/list-directories-in-cpp into lp:widelands GunChleoc
• 2019/05/26 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1827033-shipping-algorithm into lp:widelands noreply
• 2019/05/26 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1827033-shipping-algorithm into lp:widelands bunnybot
• 2019/05/26 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/unify-program-parsers into lp:widelands bunnybot
• 2019/05/26 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/reed-compatibility into lp:widelands bunnybot
• 2019/05/26 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/list-directories-in-cpp into lp:widelands bunnybot
• 2019/05/26 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/font_size-lua into lp:widelands noreply
• 2019/05/26 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/font_size-lua into lp:widelands bunnybot
• 2019/05/26 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1830526-soldier-walk-anims into lp:widelands GunChleoc
• 2019/05/26 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1830526-soldier-walk-anims into lp:widelands GunChleoc
• 2019/05/26 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1827033-shipping-algorithm into lp:widelands GunChleoc
• 2019/05/26 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1830526-soldier-walk-anims into lp:widelands Benedikt Straub
• 2019/05/26 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1828355-windows-localedir into lp:widelands GunChleoc
• 2019/05/26 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/changelog-post-build-20 into lp:widelands GunChleoc
• 2019/05/26 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/refactor_gameclient into lp:widelands noreply
• 2019/05/26 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1827033-shipping-algorithm into lp:widelands kaputtnik
• 2019/05/26 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1827033-shipping-algorithm into lp:widelands Benedikt Straub
• 2019/05/26 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1827033-shipping-algorithm into lp:widelands GunChleoc
• 2019/05/26 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1827033-shipping-algorithm into lp:widelands GunChleoc
• 2019/05/26 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1827033-shipping-algorithm into lp:widelands kaputtnik
• 2019/05/26 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/unify-program-parsers into lp:widelands GunChleoc
• 2019/05/26 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1827033-shipping-algorithm into lp:widelands Benedikt Straub
• 2019/05/25 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1829623-assert_is_present into lp:widelands noreply
• 2019/05/25 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/reed-compatibility into lp:widelands GunChleoc
• 2019/05/25 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/ai-rename-bo-outputs into lp:widelands noreply
• 2019/05/25 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/ai-rename-bo-outputs into lp:widelands GunChleoc
• 2019/05/25 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/economy-target-profiles into lp:widelands GunChleoc
• 2019/05/25 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/economy-target-profiles into lp:widelands GunChleoc
• 2019/05/25 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/list-directories-in-cpp into lp:widelands bunnybot
• 2019/05/25 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/list-directories-in-cpp into lp:widelands bunnybot
• 2019/05/25 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/choose-attack-soldiers into lp:widelands noreply
• 2019/05/25 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/choose-attack-soldiers into lp:widelands bunnybot
• 2019/05/25 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/economy-target-profiles into lp:widelands Benedikt Straub
• 2019/05/25 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/ai-rename-bo-outputs into lp:widelands bunnybot
• 2019/05/25 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/ai-rename-bo-outputs into lp:widelands bunnybot
• 2019/05/25 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/economy-target-profiles into lp:widelands GunChleoc
• 2019/05/25 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/refactor_gameclient into lp:widelands GunChleoc
• 2019/05/25 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/ai-rename-bo-outputs into lp:widelands GunChleoc
• 2019/05/25 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/wrong-password-message into lp:widelands noreply
• 2019/05/25 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/wrong-password-message into lp:widelands bunnybot
• 2019/05/25 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/economy-target-profiles into lp:widelands Benedikt Straub
• 2019/05/25 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/ai-rename-bo-outputs into lp:widelands hessenfarmer
• 2019/05/25 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/constructionsite_options into lp:widelands GunChleoc
• 2019/05/25 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1829623-assert_is_present into lp:widelands GunChleoc
• 2019/05/25 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/economy-target-profiles into lp:widelands Benedikt Straub
• 2019/05/25 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/constructionsite_options into lp:widelands Benedikt Straub
• 2019/05/25 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/ferry into lp:widelands GunChleoc
• 2019/05/25 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1829623-assert_is_present into lp:widelands Benedikt Straub
• 2019/05/25 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/refactor_gameclient into lp:widelands GunChleoc
• 2019/05/25 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/list-directories-in-cpp into lp:widelands GunChleoc
• 2019/05/25 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/constructionsite_options into lp:widelands GunChleoc
• 2019/05/25 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1797702-spaces-in-names-clean-start into lp:widelands noreply
• 2019/05/25 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/constructionsite_options into lp:widelands GunChleoc
• 2019/05/25 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/tribe-immovable-file-structure into lp:widelands noreply
• 2019/05/25 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/economy-target-profiles into lp:widelands GunChleoc
• 2019/05/25 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/economy-target-profiles into lp:widelands GunChleoc
• 2019/05/25 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/list-directories-in-cpp into lp:widelands Toni Förster
• 2019/05/25 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/economy-target-profiles into lp:widelands GunChleoc
• 2019/05/25 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1797702-spaces-in-names-clean-start into lp:widelands Toni Förster
• 2019/05/25 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/choose-attack-soldiers into lp:widelands GunChleoc
• 2019/05/25 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/tribe-immovable-file-structure into lp:widelands GunChleoc
• 2019/05/25 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/font_size-lua into lp:widelands GunChleoc
• 2019/05/25 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/choose-attack-soldiers into lp:widelands Benedikt Straub
• 2019/05/25 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/wrong-password-message into lp:widelands GunChleoc
• 2019/05/25 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/list-directories-in-cpp into lp:widelands GunChleoc
• 2019/05/25 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/wrong-password-message into lp:widelands Toni Förster
• 2019/05/25 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/wrong-password-message into lp:widelands GunChleoc
• 2019/05/25 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/ai-rename-bo-outputs into lp:widelands GunChleoc
• 2019/05/25 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/ai-rename-bo-outputs into lp:widelands GunChleoc
• 2019/05/25 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1827786-metaserver-login-box-clean-start into lp:widelands noreply
• 2019/05/25 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/choose-attack-soldiers into lp:widelands GunChleoc
• 2019/05/25 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/refactor_gameclient into lp:widelands Klaus Halfmann
• 2019/05/25 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1827786-metaserver-login-box-clean-start into lp:widelands GunChleoc
• 2019/05/25 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1827786-metaserver-login-box-clean-start into lp:widelands GunChleoc
• 2019/05/25 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/ai_new_wai_files_21052019 into lp:widelands GunChleoc
• 2019/05/25 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/ai_productionsites_statistics into lp:widelands GunChleoc
• 2019/05/25 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1829623-assert_is_present into lp:widelands GunChleoc
• 2019/05/25 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1829623-assert_is_present into lp:widelands GunChleoc
• 2019/05/24 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1829623-assert_is_present into lp:widelands bunnybot
• 2019/05/24 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1829623-assert_is_present into lp:widelands Benedikt Straub
• 2019/05/24 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/constructionsite_options into lp:widelands Benedikt Straub
• 2019/05/24 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/choose-attack-soldiers into lp:widelands Benedikt Straub
• 2019/05/24 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/choose-attack-soldiers into lp:widelands Toni Förster
• 2019/05/24 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/tribe-immovable-file-structure into lp:widelands Toni Förster
• 2019/05/24 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/constructionsite_options into lp:widelands Toni Förster
• 2019/05/24 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/economy-target-profiles into lp:widelands Toni Förster
• 2019/05/23 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1797702-spaces-in-names-clean-start into lp:widelands bunnybot
• 2019/05/23 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1827786-metaserver-login-box-clean-start into lp:widelands kaputtnik
• 2019/05/23 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1827786-metaserver-login-box-clean-start into lp:widelands Toni Förster
• 2019/05/23 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1827786-metaserver-login-box-clean-start into lp:widelands Toni Förster
• 2019/05/23 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1827786-metaserver-login-box-clean-start into lp:widelands kaputtnik
• 2019/05/23 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1827786-metaserver-login-box-clean-start into lp:widelands kaputtnik
• 2019/05/23 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/list-directories-in-cpp into lp:widelands Toni Förster
• 2019/05/23 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/font_size-lua into lp:widelands Toni Förster
• 2019/05/23 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1827786-metaserver-login-box-clean-start into lp:widelands Toni Förster
• 2019/05/23 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1827786-metaserver-login-box-clean-start into lp:widelands Toni Förster
• 2019/05/22 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/ai_productionsites_statistics into lp:widelands noreply
• 2019/05/22 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/ai_productionsites_statistics into lp:widelands hessenfarmer
• 2019/05/22 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1829471-worker-preciousness into lp:widelands noreply
• 2019/05/22 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/ai_productionsites_statistics into lp:widelands bunnybot
• 2019/05/22 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1829471-worker-preciousness into lp:widelands hessenfarmer
• 2019/05/22 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/ferry into lp:widelands Benedikt Straub
• 2019/05/22 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/ai_productionsites_statistics into lp:widelands hessenfarmer
• 2019/05/22 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/choose-attack-soldiers into lp:widelands Benedikt Straub
• 2019/05/21 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/ai_new_wai_files_21052019 into lp:widelands noreply
• 2019/05/21 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/ai_new_wai_files_21052019 into lp:widelands bunnybot
• 2019/05/21 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/ai_new_wai_files_21052019 into lp:widelands hessenfarmer
• 2019/05/21 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/ai_new_wai_files_21052019 into lp:widelands TiborB
• 2019/05/21 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/ai_productionsites_statistics into lp:widelands TiborB
• 2019/05/21 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/ai_productionsites_statistics into lp:widelands hessenfarmer
• 2019/05/21 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/ai_productionsites_statistics into lp:widelands TiborB
• 2019/05/21 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/ai_productionsites_statistics into lp:widelands hessenfarmer
• 2019/05/21 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/ai_new_wai_files_21052019 into lp:widelands kaputtnik
• 2019/05/21 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/ai_productionsites_statistics into lp:widelands TiborB
• 2019/05/21 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/ai_new_wai_files_21052019 into lp:widelands TiborB
• 2019/05/21 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/ai_productionsites_statistics into lp:widelands hessenfarmer
• 2019/05/21 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/ai_productionsites_statistics into lp:widelands hessenfarmer
• 2019/05/21 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/ai_productionsites_statistics into lp:widelands hessenfarmer
• 2019/05/21 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/ai_productionsites_statistics into lp:widelands TiborB
• 2019/05/21 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/ai_productionsites_statistics into lp:widelands hessenfarmer
• 2019/05/21 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/ai_productionsites_statistics into lp:widelands TiborB
• 2019/05/20 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1829471-worker-preciousness into lp:widelands hessenfarmer
• 2019/05/20 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/ai_productionsites_statistics into lp:widelands TiborB
• 2019/05/20 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/list-directories-in-cpp into lp:widelands kaputtnik
• 2019/05/20 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/list-directories-in-cpp into lp:widelands kaputtnik
• 2019/05/20 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/ai_productionsites_statistics into lp:widelands hessenfarmer
• 2019/05/20 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/ai_productionsites_statistics into lp:widelands TiborB
• 2019/05/20 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/ai_productionsites_statistics into lp:widelands hessenfarmer
• 2019/05/20 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/ai_productionsites_statistics into lp:widelands TiborB
• 2019/05/20 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/ai_productionsites_statistics into lp:widelands hessenfarmer
• 2019/05/20 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/ai_productionsites_statistics into lp:widelands TiborB
• 2019/05/20 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/ai_productionsites_statistics into lp:widelands hessenfarmer
• 2019/05/20 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/list-directories-in-cpp into lp:widelands bunnybot

• Earlier messages
• Later messages