widelands-dev team mailing list archive

1. widelands-dev team
2. Mailing list archive
3. Messages by thread

Messages by thread

Messages sent to the widelands-dev mailing list, ordered by thread from the newest to oldest.

• [Merge] lp:~widelands-dev/widelands/ai_mineable_buildable into lp:widelands, (continued)
  • [Merge] lp:~widelands-dev/widelands/ai_mineable_buildable into lp:widelands
    From: noreply, 2018-04-06
• [Merge] lp:~widelands-dev/widelands/frisians-tweak into lp:widelands
  From: Benedikt Straub, 2018-04-03
• [Merge] lp:~widelands-dev/widelands/frisians-tweak into lp:widelands
  From: bunnybot, 2018-04-04
• Re: [Merge] lp:~widelands-dev/widelands/frisians-tweak into lp:widelands
  From: R M, 2018-04-04
• [Merge] lp:~widelands-dev/widelands/frisians-tweak into lp:widelands
  From: bunnybot, 2018-04-04
• Re: [Merge] lp:~widelands-dev/widelands/frisians-tweak into lp:widelands
  From: GunChleoc, 2018-04-05
• Re: [Merge] lp:~widelands-dev/widelands/frisians-tweak into lp:widelands
  From: GunChleoc, 2018-04-05
• Re: [Merge] lp:~widelands-dev/widelands/frisians-tweak into lp:widelands
  From: Benedikt Straub, 2018-04-05
• [Merge] lp:~widelands-dev/widelands/frisians-tweak into lp:widelands
  From: bunnybot, 2018-04-05
• Re: [Merge] lp:~widelands-dev/widelands/frisians-tweak into lp:widelands
  From: GunChleoc, 2018-04-06
• Re: [Merge] lp:~widelands-dev/widelands/frisians-tweak into lp:widelands
  From: hessenfarmer, 2018-04-06
• [Merge] lp:~widelands-dev/widelands/frisians-tweak into lp:widelands
  From: bunnybot, 2018-04-06
• [Merge] lp:~widelands-dev/widelands/frisians-tweak into lp:widelands
  From: noreply, 2018-04-06
• Re: [Merge] lp:~widelands-dev/widelands/frisians-tweak into lp:widelands
  From: GunChleoc, 2018-04-09
• [Merge] lp:~widelands-dev/widelands/bug_1760581-fix-UnicodeString into lp:widelands
  From: GunChleoc, 2018-04-03
• [Merge] lp:~widelands-dev/widelands/bug_1760581-fix-UnicodeString into lp:widelands
  From: bunnybot, 2018-04-03
• Re: [Merge] lp:~widelands-dev/widelands/bug_1760581-fix-UnicodeString into lp:widelands
  From: kaputtnik, 2018-04-03
• [Merge] lp:~widelands-dev/widelands/bug_1760581-fix-UnicodeString into lp:widelands
  From: noreply, 2018-04-03
• Re: [Merge] lp:~widelands-dev/widelands/bug_1760581-fix-UnicodeString into lp:widelands
  From: GunChleoc, 2018-04-03
• [Merge] lp:~widelands-dev/widelands/unused_autospeed into lp:widelands
  From: GunChleoc, 2018-04-02
• Re: [Merge] lp:~widelands-dev/widelands/unused_autospeed into lp:widelands
  From: Klaus Halfmann, 2018-04-02
• Re: [Merge] lp:~widelands-dev/widelands/unused_autospeed into lp:widelands
  From: GunChleoc, 2018-04-02
• [Merge] lp:~widelands-dev/widelands/unused_autospeed into lp:widelands
  From: bunnybot, 2018-04-02
• [Merge] lp:~widelands-dev/widelands/unused_autospeed into lp:widelands
  From: noreply, 2018-04-02
• [Merge] lp:~widelands-dev/widelands/bug-1697703-unused-images into lp:widelands
  From: GunChleoc, 2018-04-02
• Re: [Merge] lp:~widelands-dev/widelands/bug-1697703-unused-images into lp:widelands
  From: Klaus Halfmann, 2018-04-02
• [Merge] lp:~widelands-dev/widelands/bug-1697703-unused-images into lp:widelands
  From: bunnybot, 2018-04-02
• Re: [Merge] lp:~widelands-dev/widelands/bug-1697703-unused-images into lp:widelands
  From: GunChleoc, 2018-04-02
• [Merge] lp:~widelands-dev/widelands/bug-1697703-unused-images into lp:widelands
  From: bunnybot, 2018-04-02
• Re: [Merge] lp:~widelands-dev/widelands/bug-1697703-unused-images into lp:widelands
  From: GunChleoc, 2018-04-03
• [Merge] lp:~widelands-dev/widelands/bug-1697703-unused-images into lp:widelands
  From: noreply, 2018-04-03
• [Merge] lp:~widelands-dev/widelands/ai_mineable_tweak_2 into lp:widelands
  From: TiborB, 2018-04-01
• [Merge] lp:~widelands-dev/widelands/ai_mineable_tweak_2 into lp:widelands
  From: bunnybot, 2018-04-02
• Re: [Merge] lp:~widelands-dev/widelands/ai_mineable_tweak_2 into lp:widelands
  From: GunChleoc, 2018-04-02
• [Merge] lp:~widelands-dev/widelands/ai_mineable_tweak_2 into lp:widelands
  From: noreply, 2018-04-02
• [Merge] lp:~widelands-dev/widelands/ai_fisher_fix into lp:widelands
  From: TiborB, 2018-03-29
• [Merge] lp:~widelands-dev/widelands/ai_fisher_fix into lp:widelands
  From: bunnybot, 2018-03-30
• Re: [Merge] lp:~widelands-dev/widelands/ai_fisher_fix into lp:widelands
  From: GunChleoc, 2018-03-30
• [Merge] lp:~widelands-dev/widelands/ai_fisher_fix into lp:widelands
  From: bunnybot, 2018-03-30
• Re: [Merge] lp:~widelands-dev/widelands/ai_fisher_fix into lp:widelands
  From: hessenfarmer, 2018-03-30
• Re: [Merge] lp:~widelands-dev/widelands/ai_fisher_fix into lp:widelands
  From: TiborB, 2018-03-30
• Re: [Merge] lp:~widelands-dev/widelands/ai_fisher_fix into lp:widelands
  From: TiborB, 2018-03-31
• Re: [Merge] lp:~widelands-dev/widelands/ai_fisher_fix into lp:widelands
  From: hessenfarmer, 2018-04-01
• Re: [Merge] lp:~widelands-dev/widelands/ai_fisher_fix into lp:widelands
  From: hessenfarmer, 2018-04-01
• Re: [Merge] lp:~widelands-dev/widelands/ai_fisher_fix into lp:widelands
  From: hessenfarmer, 2018-04-06
• [Merge] lp:~widelands-dev/widelands/ai_fisher_fix into lp:widelands
  From: bunnybot, 2018-04-06
• Re: [Merge] lp:~widelands-dev/widelands/ai_fisher_fix into lp:widelands
  From: GunChleoc, 2018-04-07
• Re: [Merge] lp:~widelands-dev/widelands/ai_fisher_fix into lp:widelands
  From: TiborB, 2018-04-07
• [Merge] lp:~widelands-dev/widelands/ai_fisher_fix into lp:widelands
  From: noreply, 2018-04-08
• [Merge] lp:~widelands-dev/widelands/ai_new_wai_29032018 into lp:widelands
  From: TiborB, 2018-03-29
• Re: [Merge] lp:~widelands-dev/widelands/ai_new_wai_29032018 into lp:widelands
  From: GunChleoc, 2018-03-30
• [Merge] lp:~widelands-dev/widelands/ai_new_wai_29032018 into lp:widelands
  From: noreply, 2018-04-01
• Re: [Merge] lp:~widelands-dev/widelands/ai_new_wai_29032018 into lp:widelands
  From: GunChleoc, 2018-04-01
• [Merge] lp:~widelands-dev/widelands/changelog-2018-03 into lp:widelands
  From: GunChleoc, 2018-03-27
• [Merge] lp:~widelands-dev/widelands/changelog-2018-03 into lp:widelands
  From: bunnybot, 2018-03-27
• Re: [Merge] lp:~widelands-dev/widelands/changelog-2018-03 into lp:widelands
  From: kaputtnik, 2018-03-27
• Re: [Merge] lp:~widelands-dev/widelands/changelog-2018-03 into lp:widelands
  From: GunChleoc, 2018-03-27
• [Merge] lp:~widelands-dev/widelands/changelog-2018-03 into lp:widelands
  From: noreply, 2018-03-28
• [Merge] lp:~widelands-dev/widelands/fh1-chatoverlay into lp:widelands
  From: GunChleoc, 2018-03-24
• [Merge] lp:~widelands-dev/widelands/fh1-chatoverlay into lp:widelands
  From: bunnybot, 2018-03-24
• Re: [Merge] lp:~widelands-dev/widelands/fh1-chatoverlay into lp:widelands
  From: Klaus Halfmann, 2018-03-25
• Re: [Merge] lp:~widelands-dev/widelands/fh1-chatoverlay into lp:widelands
  From: GunChleoc, 2018-03-25
• Re: [Merge] lp:~widelands-dev/widelands/fh1-chatoverlay into lp:widelands
  From: Klaus Halfmann, 2018-03-25
• [Merge] lp:~widelands-dev/widelands/fh1-chatoverlay into lp:widelands
  From: noreply, 2018-03-25
• Re: [Merge] lp:~widelands-dev/widelands/fh1-chatoverlay into lp:widelands
  From: GunChleoc, 2018-03-25
• [Merge] lp:~widelands-dev/widelands/remove-external-websites into lp:widelands
  From: GunChleoc, 2018-03-24
• [Merge] lp:~widelands-dev/widelands/remove-external-websites into lp:widelands
  From: bunnybot, 2018-03-24
• Re: [Merge] lp:~widelands-dev/widelands/remove-external-websites into lp:widelands
  From: kaputtnik, 2018-03-24
• Re: [Merge] lp:~widelands-dev/widelands/remove-external-websites into lp:widelands
  From: Klaus Halfmann, 2018-03-24
• Re: [Merge] lp:~widelands-dev/widelands/remove-external-websites into lp:widelands
  From: Klaus Halfmann, 2018-03-24
• Re: [Merge] lp:~widelands-dev/widelands/remove-external-websites into lp:widelands
  From: GunChleoc, 2018-03-24
• Re: [Merge] lp:~widelands-dev/widelands/remove-external-websites into lp:widelands
  From: GunChleoc, 2018-03-25
• [Merge] lp:~widelands-dev/widelands/remove-external-websites into lp:widelands
  From: noreply, 2018-03-25
• [Merge] lp:~widelands-dev/widelands-website/fix_encyclopedia into lp:widelands-website
  From: kaputtnik, 2018-03-24
• Re: [Merge] lp:~widelands-dev/widelands-website/fix_encyclopedia into lp:widelands-website
  From: GunChleoc, 2018-03-26
• [Merge] lp:~widelands-dev/widelands-website/fix_encyclopedia into lp:widelands-website
  From: noreply, 2018-03-26
• Re: [Merge] lp:~widelands-dev/widelands-website/fix_encyclopedia into lp:widelands-website
  From: kaputtnik, 2018-03-26
• [Merge] lp:~widelands-dev/widelands/ai_mineable_fields into lp:widelands
  From: TiborB, 2018-03-23
• [Merge] lp:~widelands-dev/widelands/ai_mineable_fields into lp:widelands
  From: bunnybot, 2018-03-24
• Re: [Merge] lp:~widelands-dev/widelands/ai_mineable_fields into lp:widelands
  From: GunChleoc, 2018-03-25
• Re: [Merge] lp:~widelands-dev/widelands/ai_mineable_fields into lp:widelands
  From: TiborB, 2018-03-25
• Re: [Merge] lp:~widelands-dev/widelands/ai_mineable_fields into lp:widelands
  From: GunChleoc, 2018-03-26
• [Merge] lp:~widelands-dev/widelands/ai_mineable_fields into lp:widelands
  From: TiborB, 2018-03-26
• Re: [Merge] lp:~widelands-dev/widelands/ai_mineable_fields into lp:widelands
  From: TiborB, 2018-03-26
• Re: [Merge] lp:~widelands-dev/widelands/ai_mineable_fields into lp:widelands
  From: TiborB, 2018-03-26
• [Merge] lp:~widelands-dev/widelands/ai_mineable_fields into lp:widelands
  From: bunnybot, 2018-03-26
• Re: [Merge] lp:~widelands-dev/widelands/ai_mineable_fields into lp:widelands
  From: TiborB, 2018-03-27
• [Merge] lp:~widelands-dev/widelands/ai_mineable_fields into lp:widelands
  From: noreply, 2018-03-27
• [Merge] lp:~widelands-dev/widelands/update_appveyor into lp:widelands
  From: Tino, 2018-03-22
• [Merge] lp:~widelands-dev/widelands/update_appveyor into lp:widelands
  From: Tino, 2018-03-22
• [Merge] lp:~widelands-dev/widelands/update_appveyor into lp:widelands
  From: bunnybot, 2018-03-22
• Re: [Merge] lp:~widelands-dev/widelands/update_appveyor into lp:widelands
  From: Tino, 2018-03-23
• [Merge] lp:~widelands-dev/widelands/update_appveyor into lp:widelands
  From: noreply, 2018-03-23
• <Possible follow-ups>
• [Merge] lp:~widelands-dev/widelands/update_appveyor into lp:widelands
  From: Tino, 2018-11-13
• [Merge] lp:~widelands-dev/widelands/update_appveyor into lp:widelands
  From: bunnybot, 2018-11-13
• Re: [Merge] lp:~widelands-dev/widelands/update_appveyor into lp:widelands
  From: GunChleoc, 2018-11-14
• Re: [Merge] lp:~widelands-dev/widelands/update_appveyor into lp:widelands
  From: Tino, 2018-11-14
• [Merge] lp:~widelands-dev/widelands/update_appveyor into lp:widelands
  From: bunnybot, 2018-11-14
• Re: [Merge] lp:~widelands-dev/widelands/update_appveyor into lp:widelands
  From: Tino, 2018-11-14
• Re: [Merge] lp:~widelands-dev/widelands/update_appveyor into lp:widelands
  From: kaputtnik, 2018-11-14
• [Merge] lp:~widelands-dev/widelands/update_appveyor into lp:widelands
  From: noreply, 2018-11-14
• [Merge] lp:~widelands-dev/widelands-website/bug-1723640_news_current_user into lp:widelands-website
  From: kaputtnik, 2018-03-18
• [Merge] lp:~widelands-dev/widelands-website/bug-1723640_news_current_user into lp:widelands-website
  From: kaputtnik, 2018-03-19
• Re: [Merge] lp:~widelands-dev/widelands-website/bug-1723640_news_current_user into lp:widelands-website
  From: GunChleoc, 2018-03-26
• Re: [Merge] lp:~widelands-dev/widelands-website/bug-1723640_news_current_user into lp:widelands-website
  From: kaputtnik, 2018-03-26
• [Merge] lp:~widelands-dev/widelands-website/bug-1723640_news_current_user into lp:widelands-website
  From: noreply, 2018-03-27
• Re: [Merge] lp:~widelands-dev/widelands-website/bug-1723640_news_current_user into lp:widelands-website
  From: kaputtnik, 2018-03-27
• [Merge] lp:~widelands-dev/widelands/ai_blocked_fields_tweaks into lp:widelands
  From: TiborB, 2018-03-15
• [Merge] lp:~widelands-dev/widelands/ai_blocked_fields_tweaks into lp:widelands
  From: bunnybot, 2018-03-16
• [Merge] lp:~widelands-dev/widelands/ai_blocked_fields_tweaks into lp:widelands
  From: bunnybot, 2018-03-16
• Re: [Merge] lp:~widelands-dev/widelands/ai_blocked_fields_tweaks into lp:widelands
  From: GunChleoc, 2018-03-25
• Re: [Merge] lp:~widelands-dev/widelands/ai_blocked_fields_tweaks into lp:widelands
  From: TiborB, 2018-03-25
• Re: [Merge] lp:~widelands-dev/widelands/ai_blocked_fields_tweaks into lp:widelands
  From: TiborB, 2018-03-25
• Re: [Merge] lp:~widelands-dev/widelands/ai_blocked_fields_tweaks into lp:widelands
  From: TiborB, 2018-03-25
• Re: [Merge] lp:~widelands-dev/widelands/ai_blocked_fields_tweaks into lp:widelands
  From: GunChleoc, 2018-03-26
• [Merge] lp:~widelands-dev/widelands/ai_blocked_fields_tweaks into lp:widelands
  From: TiborB, 2018-03-26
• Re: [Merge] lp:~widelands-dev/widelands/ai_blocked_fields_tweaks into lp:widelands
  From: TiborB, 2018-03-26
• Re: [Merge] lp:~widelands-dev/widelands/ai_blocked_fields_tweaks into lp:widelands
  From: GunChleoc, 2018-03-26
• [Merge] lp:~widelands-dev/widelands/ai_blocked_fields_tweaks into lp:widelands
  From: noreply, 2018-03-26
• [Merge] lp:~widelands-dev/widelands/bug-1751620-floating-images into lp:widelands
  From: Notabilis, 2018-03-11
• [Merge] lp:~widelands-dev/widelands/bug-1751620-floating-images into lp:widelands
  From: bunnybot, 2018-03-12
• Re: [Merge] lp:~widelands-dev/widelands/bug-1751620-floating-images into lp:widelands
  From: GunChleoc, 2018-03-15
• Re: [Merge] lp:~widelands-dev/widelands/bug-1751620-floating-images into lp:widelands
  From: GunChleoc, 2018-03-15
• Re: [Merge] lp:~widelands-dev/widelands/bug-1751620-floating-images into lp:widelands
  From: Notabilis, 2018-03-15
• Re: [Merge] lp:~widelands-dev/widelands/bug-1751620-floating-images into lp:widelands
  From: GunChleoc, 2018-03-15
• [Merge] lp:~widelands-dev/widelands/bug-1751620-floating-images into lp:widelands
  From: bunnybot, 2018-03-15
• [Merge] lp:~widelands-dev/widelands/bug-1751620-floating-images into lp:widelands
  From: noreply, 2018-03-15
• [Merge] lp:~widelands-dev/widelands/bug-1753248-crystalmine-tuning into lp:widelands
  From: Teppo Mäenpää, 2018-03-10
• [Merge] lp:~widelands-dev/widelands/bug-1753248-crystalmine-tuning into lp:widelands
  From: bunnybot, 2018-03-10
• [Merge] lp:~widelands-dev/widelands/bug-1753248-crystalmine-tuning into lp:widelands
  From: GunChleoc, 2018-03-14
• Re: [Merge] lp:~widelands-dev/widelands/bug-1753248-crystalmine-tuning into lp:widelands
  From: GunChleoc, 2018-03-14
• [Merge] lp:~widelands-dev/widelands/bug-1753248-crystalmine-tuning into lp:widelands
  From: noreply, 2018-03-14
• [Merge] lp:~widelands-dev/widelands-website/wlhelp_internal_names into lp:widelands-website
  From: kaputtnik, 2018-03-09
• [Merge] lp:~widelands-dev/widelands-website/wlhelp_internal_names into lp:widelands-website
  From: noreply, 2018-03-18
• Re: [Merge] lp:~widelands-dev/widelands-website/wlhelp_internal_names into lp:widelands-website
  From: kaputtnik, 2018-03-18
• [Merge] lp:~widelands-dev/widelands-website/scheduling_minor_fix into lp:widelands-website
  From: Trimardio, 2018-03-07
• <Possible follow-ups>
• [Merge] lp:~widelands-dev/widelands-website/scheduling_minor_fix into lp:widelands-website
  From: Trimardio, 2018-03-07
• Re: [Merge] lp:~widelands-dev/widelands-website/scheduling_minor_fix into lp:widelands-website
  From: kaputtnik, 2018-03-07
• Re: [Merge] lp:~widelands-dev/widelands-website/scheduling_minor_fix into lp:widelands-website
  From: kaputtnik, 2018-03-11
• Re: [Merge] lp:~widelands-dev/widelands-website/scheduling_minor_fix into lp:widelands-website
  From: kaputtnik, 2018-04-26
• Re: [Merge] lp:~widelands-dev/widelands-website/scheduling_minor_fix into lp:widelands-website
  From: GunChleoc, 2018-04-27
• Re: [Merge] lp:~widelands-dev/widelands-website/scheduling_minor_fix into lp:widelands-website
  From: kaputtnik, 2018-04-27
• Re: [Merge] lp:~widelands-dev/widelands-website/scheduling_minor_fix into lp:widelands-website
  From: GunChleoc, 2018-04-27
• Re: [Merge] lp:~widelands-dev/widelands-website/scheduling_minor_fix into lp:widelands-website
  From: Trimardio, 2019-06-29
• [Merge] lp:~widelands-dev/widelands/ai_wai_files_2 into lp:widelands
  From: TiborB, 2018-03-07
• [Merge] lp:~widelands-dev/widelands/ai_wai_files_2 into lp:widelands
  From: bunnybot, 2018-03-07
• [Merge] lp:~widelands-dev/widelands/ai_wai_files_2 into lp:widelands
  From: GunChleoc, 2018-03-07
• Re: [Merge] lp:~widelands-dev/widelands/ai_wai_files_2 into lp:widelands
  From: GunChleoc, 2018-03-07
• [Merge] lp:~widelands-dev/widelands/ai_wai_files_2 into lp:widelands
  From: noreply, 2018-03-07
• [Merge] lp:~widelands-dev/widelands/bug-1751440-smugglers-desync into lp:widelands
  From: GunChleoc, 2018-03-05
• [Merge] lp:~widelands-dev/widelands/bug-1751440-smugglers-desync into lp:widelands
  From: GunChleoc, 2018-03-05
• [Merge] lp:~widelands-dev/widelands/ai_2_new_hints into lp:widelands
  From: TiborB, 2018-03-02
• [Merge] lp:~widelands-dev/widelands/ai_2_new_hints into lp:widelands
  From: bunnybot, 2018-03-03
• Re: [Merge] lp:~widelands-dev/widelands/ai_2_new_hints into lp:widelands
  From: GunChleoc, 2018-03-03
• Re: [Merge] lp:~widelands-dev/widelands/ai_2_new_hints into lp:widelands
  From: TiborB, 2018-03-03
• Re: [Merge] lp:~widelands-dev/widelands/ai_2_new_hints into lp:widelands
  From: GunChleoc, 2018-03-04
• Re: [Merge] lp:~widelands-dev/widelands/ai_2_new_hints into lp:widelands
  From: GunChleoc, 2018-03-24
• [Merge] lp:~widelands-dev/widelands/ai_2_new_hints into lp:widelands
  From: GunChleoc, 2018-03-24
• [Merge] lp:~widelands-dev/widelands/ai_2_new_hints into lp:widelands
  From: GunChleoc, 2018-03-24
• Re: [Merge] lp:~widelands-dev/widelands/ai_2_new_hints into lp:widelands
  From: GunChleoc, 2018-03-24
• [Merge] lp:~widelands-dev/widelands/ai_2_new_hints into lp:widelands
  From: noreply, 2018-03-24
• [Merge] lp:~widelands-dev/widelands/net-pwd-security into lp:widelands
  From: Notabilis, 2018-03-02
• [Merge] lp:~widelands-dev/widelands/net-pwd-security into lp:widelands
  From: bunnybot, 2018-03-03
• Re: [Merge] lp:~widelands-dev/widelands/net-pwd-security into lp:widelands
  From: GunChleoc, 2018-03-03
• [Merge] lp:~widelands-dev/widelands/net-pwd-security into lp:widelands
  From: bunnybot, 2018-03-03
• Re: [Merge] lp:~widelands-dev/widelands/net-pwd-security into lp:widelands
  From: Notabilis, 2018-03-03
• Re: [Merge] lp:~widelands-dev/widelands/net-pwd-security into lp:widelands
  From: GunChleoc, 2018-03-04
• Re: [Merge] lp:~widelands-dev/widelands/net-pwd-security into lp:widelands
  From: kaputtnik, 2018-03-04
• Re: [Merge] lp:~widelands-dev/widelands/net-pwd-security into lp:widelands
  From: Notabilis, 2018-03-04
• Re: [Merge] lp:~widelands-dev/widelands/net-pwd-security into lp:widelands
  From: Notabilis, 2018-03-11
• [Merge] lp:~widelands-dev/widelands/net-pwd-security into lp:widelands
  From: noreply, 2018-03-11
• [Merge] lp:~widelands-dev/widelands/unlink_test_richtext into lp:widelands
  From: GunChleoc, 2018-03-02
• [Merge] lp:~widelands-dev/widelands/unlink_test_richtext into lp:widelands
  From: bunnybot, 2018-03-02
• Re: [Merge] lp:~widelands-dev/widelands/unlink_test_richtext into lp:widelands
  From: Notabilis, 2018-03-11
• Re: [Merge] lp:~widelands-dev/widelands/unlink_test_richtext into lp:widelands
  From: GunChleoc, 2018-03-12
• [Merge] lp:~widelands-dev/widelands/unlink_test_richtext into lp:widelands
  From: noreply, 2018-03-12
• Re: [Merge] lp:~widelands-dev/widelands/unlink_test_richtext into lp:widelands
  From: Notabilis, 2018-03-13
• [Merge] lp:~widelands-dev/widelands/ai_blocked_cosideration into lp:widelands
  From: TiborB, 2018-02-26
• [Merge] lp:~widelands-dev/widelands/ai_blocked_cosideration into lp:widelands
  From: bunnybot, 2018-02-27
• [Merge] lp:~widelands-dev/widelands/ai_blocked_cosideration into lp:widelands
  From: GunChleoc, 2018-02-27
• Re: [Merge] lp:~widelands-dev/widelands/ai_blocked_cosideration into lp:widelands
  From: GunChleoc, 2018-02-27
• [Merge] lp:~widelands-dev/widelands/ai_blocked_cosideration into lp:widelands
  From: bunnybot, 2018-02-27
• Re: [Merge] lp:~widelands-dev/widelands/ai_blocked_cosideration into lp:widelands
  From: GunChleoc, 2018-02-28
• Re: [Merge] lp:~widelands-dev/widelands/ai_blocked_cosideration into lp:widelands
  From: TiborB, 2018-02-28
• Re: [Merge] lp:~widelands-dev/widelands/ai_blocked_cosideration into lp:widelands
  From: GunChleoc, 2018-03-02
• [Merge] lp:~widelands-dev/widelands/ai_blocked_cosideration into lp:widelands
  From: noreply, 2018-03-02
• [Merge] lp:~widelands-dev/widelands/ai_new_wai_files into lp:widelands
  From: TiborB, 2018-02-26
• [Merge] lp:~widelands-dev/widelands/ai_new_wai_files into lp:widelands
  From: bunnybot, 2018-02-27
• [Merge] lp:~widelands-dev/widelands/ai_new_wai_files into lp:widelands
  From: GunChleoc, 2018-02-27
• Re: [Merge] lp:~widelands-dev/widelands/ai_new_wai_files into lp:widelands
  From: GunChleoc, 2018-02-27
• [Merge] lp:~widelands-dev/widelands/ai_new_wai_files into lp:widelands
  From: noreply, 2018-02-27
• [Merge] lp:~widelands-dev/widelands/compiler_warnings_201802 into lp:widelands
  From: GunChleoc, 2018-02-25
• [Merge] lp:~widelands-dev/widelands/compiler_warnings_201802 into lp:widelands
  From: bunnybot, 2018-02-26
• [Merge] lp:~widelands-dev/widelands/compiler_warnings_201802 into lp:widelands
  From: GunChleoc, 2018-02-26
• [Merge] lp:~widelands-dev/widelands/compiler_warnings_201802 into lp:widelands
  From: bunnybot, 2018-02-26
• [Merge] lp:~widelands-dev/widelands/compiler_warnings_201802 into lp:widelands
  From: bunnybot, 2018-02-27
• [Merge] lp:~widelands-dev/widelands/compiler_warnings_201802 into lp:widelands
  From: GunChleoc, 2018-03-02
• [Merge] lp:~widelands-dev/widelands/compiler_warnings_201802 into lp:widelands
  From: bunnybot, 2018-03-02
• [Merge] lp:~widelands-dev/widelands/compiler_warnings_201802 into lp:widelands
  From: bunnybot, 2018-03-03
• Re: [Merge] lp:~widelands-dev/widelands/compiler_warnings_201802 into lp:widelands
  From: Klaus Halfmann, 2018-03-04

 •  Take the tour  •  Read the guide  •  Help for mailing lists  

© 2004-2021 Canonical Ltd.  •  Terms of use  •  Data privacy  •  Contact Launchpad Support  •  Blog  •  Careers  •  System status