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_portspaces into lp:widelands, (continued)
  • [Merge] lp:~widelands-dev/widelands/ai_portspaces into lp:widelands
    From: bunnybot, 2018-02-04
  • Re: [Merge] lp:~widelands-dev/widelands/ai_portspaces into lp:widelands
    From: GunChleoc, 2018-02-07
  • Re: [Merge] lp:~widelands-dev/widelands/ai_portspaces into lp:widelands
    From: TiborB, 2018-02-07
  • Re: [Merge] lp:~widelands-dev/widelands/ai_portspaces into lp:widelands
    From: GunChleoc, 2018-02-12
  • [Merge] lp:~widelands-dev/widelands/ai_portspaces into lp:widelands
    From: noreply, 2018-02-12
• [Merge] lp:~widelands-dev/widelands/fh1-finish_help into lp:widelands
  From: GunChleoc, 2018-01-04
• [Merge] lp:~widelands-dev/widelands/fh1-finish_help into lp:widelands
  From: GunChleoc, 2018-01-04
• Re: [Merge] lp:~widelands-dev/widelands/fh1-finish_help into lp:widelands
  From: kaputtnik, 2018-01-04
• [Merge] lp:~widelands-dev/widelands/fh1-finish_help into lp:widelands
  From: bunnybot, 2018-01-05
• Re: [Merge] lp:~widelands-dev/widelands/fh1-finish_help into lp:widelands
  From: GunChleoc, 2018-01-05
• [Merge] lp:~widelands-dev/widelands/fh1-finish_help into lp:widelands
  From: noreply, 2018-01-05
• [Merge] lp:~widelands-dev/widelands/ai_seafaring_fix into lp:widelands
  From: TiborB, 2018-01-03
• [Merge] lp:~widelands-dev/widelands/ai_seafaring_fix into lp:widelands
  From: bunnybot, 2018-01-03
• Re: [Merge] lp:~widelands-dev/widelands/ai_seafaring_fix into lp:widelands
  From: kaputtnik, 2018-01-03
• <Possible follow-ups>
• [Merge] lp:~widelands-dev/widelands/ai_seafaring_fix into lp:widelands
  From: TiborB, 2018-01-03
• [Merge] lp:~widelands-dev/widelands/ai_seafaring_fix into lp:widelands
  From: bunnybot, 2018-01-04
• [Merge] lp:~widelands-dev/widelands/ai_seafaring_fix into lp:widelands
  From: GunChleoc, 2018-01-04
• Re: [Merge] lp:~widelands-dev/widelands/ai_seafaring_fix into lp:widelands
  From: GunChleoc, 2018-01-04
• Re: [Merge] lp:~widelands-dev/widelands/ai_seafaring_fix into lp:widelands
  From: GunChleoc, 2018-01-29
• [Merge] lp:~widelands-dev/widelands/ai_seafaring_fix into lp:widelands
  From: bunnybot, 2018-01-29
• Re: [Merge] lp:~widelands-dev/widelands/ai_seafaring_fix into lp:widelands
  From: GunChleoc, 2018-01-30
• [Merge] lp:~widelands-dev/widelands/ai_seafaring_fix into lp:widelands
  From: noreply, 2018-01-30
• [Merge] lp:~widelands-dev/widelands/ai_fields_update into lp:widelands
  From: TiborB, 2017-12-25
• [Merge] lp:~widelands-dev/widelands/ai_fields_update into lp:widelands
  From: bunnybot, 2017-12-26
• [Merge] lp:~widelands-dev/widelands/ai_fields_update into lp:widelands
  From: GunChleoc, 2017-12-28
• Re: [Merge] lp:~widelands-dev/widelands/ai_fields_update into lp:widelands
  From: GunChleoc, 2017-12-28
• [Merge] lp:~widelands-dev/widelands/ai_fields_update into lp:widelands
  From: bunnybot, 2017-12-29
• Re: [Merge] lp:~widelands-dev/widelands/ai_fields_update into lp:widelands
  From: GunChleoc, 2018-01-16
• [Merge] lp:~widelands-dev/widelands/ai_fields_update into lp:widelands
  From: bunnybot, 2018-01-16
• Re: [Merge] lp:~widelands-dev/widelands/ai_fields_update into lp:widelands
  From: GunChleoc, 2018-01-26
• [Merge] lp:~widelands-dev/widelands/ai_fields_update into lp:widelands
  From: noreply, 2018-01-26
• [Merge] lp:~trimardio/widelands-website/module_scheduling into lp:widelands-website
  From: Trimardio, 2017-12-23
• Re: [Merge] lp:~trimardio/widelands-website/module_scheduling into lp:widelands-website
  From: Trimardio, 2017-12-23
• Re: [Merge] lp:~trimardio/widelands-website/module_scheduling into lp:widelands-website
  From: kaputtnik, 2017-12-23
• Re: [Merge] lp:~trimardio/widelands-website/module_scheduling into lp:widelands-website
  From: kaputtnik, 2017-12-23
• Re: [Merge] lp:~trimardio/widelands-website/module_scheduling into lp:widelands-website
  From: Trimardio, 2018-01-07
• Re: [Merge] lp:~trimardio/widelands-website/module_scheduling into lp:widelands-website
  From: Trimardio, 2018-01-07
• Re: [Merge] lp:~trimardio/widelands-website/module_scheduling into lp:widelands-website
  From: kaputtnik, 2018-01-07
• Re: [Merge] lp:~trimardio/widelands-website/module_scheduling into lp:widelands-website
  From: Trimardio, 2018-01-07
• Re: [Merge] lp:~trimardio/widelands-website/module_scheduling into lp:widelands-website
  From: kaputtnik, 2018-01-07
• Re: [Merge] lp:~trimardio/widelands-website/module_scheduling into lp:widelands-website
  From: Trimardio, 2018-01-07
• Re: [Merge] lp:~trimardio/widelands-website/module_scheduling into lp:widelands-website
  From: kaputtnik, 2018-01-07
• Re: [Merge] lp:~trimardio/widelands-website/module_scheduling into lp:widelands-website
  From: Trimardio, 2018-01-07
• Re: [Merge] lp:~trimardio/widelands-website/module_scheduling into lp:widelands-website
  From: kaputtnik, 2018-01-08
• Re: [Merge] lp:~trimardio/widelands-website/module_scheduling into lp:widelands-website
  From: Trimardio, 2018-01-10
• Re: [Merge] lp:~trimardio/widelands-website/module_scheduling into lp:widelands-website
  From: GunChleoc, 2018-01-10
• Re: [Merge] lp:~trimardio/widelands-website/module_scheduling into lp:widelands-website
  From: Trimardio, 2018-01-10
• Re: [Merge] lp:~trimardio/widelands-website/module_scheduling into lp:widelands-website
  From: Trimardio, 2018-01-10
• Re: [Merge] lp:~trimardio/widelands-website/module_scheduling into lp:widelands-website
  From: Trimardio, 2018-01-10
• Re: [Merge] lp:~trimardio/widelands-website/module_scheduling into lp:widelands-website
  From: kaputtnik, 2018-01-16
• Re: [Merge] lp:~trimardio/widelands-website/module_scheduling into lp:widelands-website
  From: GunChleoc, 2018-01-16
• Re: [Merge] lp:~trimardio/widelands-website/module_scheduling into lp:widelands-website
  From: Trimardio, 2018-01-17
• Re: [Merge] lp:~trimardio/widelands-website/module_scheduling into lp:widelands-website
  From: kaputtnik, 2018-01-18
• Re: [Merge] lp:~trimardio/widelands-website/module_scheduling into lp:widelands-website
  From: kaputtnik, 2018-01-18
• Re: [Merge] lp:~trimardio/widelands-website/module_scheduling into lp:widelands-website
  From: Trimardio, 2018-02-04
• Re: [Merge] lp:~trimardio/widelands-website/module_scheduling into lp:widelands-website
  From: kaputtnik, 2018-02-05
• Re: [Merge] lp:~trimardio/widelands-website/module_scheduling into lp:widelands-website
  From: kaputtnik, 2018-02-10
• Re: [Merge] lp:~trimardio/widelands-website/module_scheduling into lp:widelands-website
  From: Trimardio, 2018-02-11
• Re: [Merge] lp:~trimardio/widelands-website/module_scheduling into lp:widelands-website
  From: kaputtnik, 2018-02-15
• Re: [Merge] lp:~trimardio/widelands-website/module_scheduling into lp:widelands-website
  From: Trimardio, 2018-02-16
• [Merge] lp:~trimardio/widelands-website/module_scheduling into lp:widelands-website
  From: noreply, 2018-02-17
• Re: [Merge] lp:~trimardio/widelands-website/module_scheduling into lp:widelands-website
  From: kaputtnik, 2018-02-17
• [Merge] lp:~widelands-dev/widelands/fix-bug-1735980-related-problems into lp:widelands
  From: Jukka Pakarinen, 2017-12-19
• Re: [Merge] lp:~widelands-dev/widelands/fix-bug-1735980-related-problems into lp:widelands
  From: kaputtnik, 2017-12-19
• [Merge] lp:~widelands-dev/widelands/fix-bug-1735980-related-problems into lp:widelands
  From: bunnybot, 2017-12-20
• [Merge] lp:~widelands-dev/widelands/fix-bug-1735980-related-problems into lp:widelands
  From: Jukka Pakarinen, 2017-12-20
• [Merge] lp:~widelands-dev/widelands/fix-bug-1735980-related-problems into lp:widelands
  From: Jukka Pakarinen, 2017-12-21
• Re: [Merge] lp:~widelands-dev/widelands/fix-bug-1735980-related-problems into lp:widelands
  From: kaputtnik, 2017-12-22
• Re: [Merge] lp:~widelands-dev/widelands/fix-bug-1735980-related-problems into lp:widelands
  From: GunChleoc, 2017-12-28
• [Merge] lp:~widelands-dev/widelands/fix-bug-1735980-related-problems into lp:widelands
  From: GunChleoc, 2017-12-28
• [Merge] lp:~widelands-dev/widelands/fix-bug-1735980-related-problems into lp:widelands
  From: bunnybot, 2017-12-28
• Re: [Merge] lp:~widelands-dev/widelands/fix-bug-1735980-related-problems into lp:widelands
  From: Klaus Halfmann, 2017-12-29
• Re: [Merge] lp:~widelands-dev/widelands/fix-bug-1735980-related-problems into lp:widelands
  From: Klaus Halfmann, 2017-12-29
• [Merge] lp:~widelands-dev/widelands/fix-bug-1735980-related-problems into lp:widelands
  From: bunnybot, 2017-12-29
• Re: [Merge] lp:~widelands-dev/widelands/fix-bug-1735980-related-problems into lp:widelands
  From: kaputtnik, 2017-12-31
• [Merge] lp:~widelands-dev/widelands/fix-bug-1735980-related-problems into lp:widelands
  From: bunnybot, 2017-12-31
• Re: [Merge] lp:~widelands-dev/widelands/fix-bug-1735980-related-problems into lp:widelands
  From: kaputtnik, 2017-12-31
• [Merge] lp:~widelands-dev/widelands/fix-bug-1735980-related-problems into lp:widelands
  From: noreply, 2017-12-31
• [Merge] lp:~widelands-dev/widelands/bug-1738641_set_resource into lp:widelands
  From: kaputtnik, 2017-12-18
• [Merge] lp:~widelands-dev/widelands/bug-1738641_set_resource into lp:widelands
  From: bunnybot, 2017-12-19
• Re: [Merge] lp:~widelands-dev/widelands/bug-1738641_set_resource into lp:widelands
  From: GunChleoc, 2017-12-19
• [Merge] lp:~widelands-dev/widelands/bug-1738641_set_resource into lp:widelands
  From: noreply, 2017-12-19
• Re: [Merge] lp:~widelands-dev/widelands/bug-1738641_set_resource into lp:widelands
  From: kaputtnik, 2017-12-19
• Re: [Merge] lp:~widelands-dev/widelands/bug-1733212-game-information-update-fails into lp:widelands
  From: GunChleoc, 2017-12-18
• [Merge] lp:~widelands-dev/widelands/bug-1733212-game-information-update-fails into lp:widelands
  From: GunChleoc, 2017-12-18
• [Merge] lp:~widelands-dev/widelands/bug-1733212-game-information-update-fails into lp:widelands
  From: bunnybot, 2017-12-18
• [Merge] lp:~widelands-dev/widelands/bug-1733212-game-information-update-fails into lp:widelands
  From: noreply, 2017-12-18
• [Merge] lp:~widelands-dev/widelands/bug-1738054-random-battle-animations into lp:widelands
  From: GunChleoc, 2017-12-17
• [Merge] lp:~widelands-dev/widelands/bug-1738054-random-battle-animations into lp:widelands
  From: bunnybot, 2017-12-18
• Re: [Merge] lp:~widelands-dev/widelands/bug-1738054-random-battle-animations into lp:widelands
  From: TiborB, 2018-01-10
• Re: [Merge] lp:~widelands-dev/widelands/bug-1738054-random-battle-animations into lp:widelands
  From: GunChleoc, 2018-01-10
• [Merge] lp:~widelands-dev/widelands/bug-1738054-random-battle-animations into lp:widelands
  From: noreply, 2018-01-10
• [Merge] lp:~widelands-dev/widelands/fh1-scenario-groundwork-emp1 into lp:widelands
  From: GunChleoc, 2017-12-17
• [Merge] lp:~widelands-dev/widelands/fh1-scenario-groundwork-emp1 into lp:widelands
  From: GunChleoc, 2017-12-17
• [Merge] lp:~widelands-dev/widelands/fh1-scenario-groundwork-emp1 into lp:widelands
  From: bunnybot, 2017-12-17
• Re: [Merge] lp:~widelands-dev/widelands/fh1-scenario-groundwork-emp1 into lp:widelands
  From: kaputtnik, 2017-12-19
• Re: [Merge] lp:~widelands-dev/widelands/fh1-scenario-groundwork-emp1 into lp:widelands
  From: GunChleoc, 2017-12-19
• [Merge] lp:~widelands-dev/widelands/fh1-scenario-groundwork-emp1 into lp:widelands
  From: GunChleoc, 2017-12-19
• Re: [Merge] lp:~widelands-dev/widelands/fh1-scenario-groundwork-emp1 into lp:widelands
  From: GunChleoc, 2017-12-19
• Re: [Merge] lp:~widelands-dev/widelands/fh1-scenario-groundwork-emp1 into lp:widelands
  From: kaputtnik, 2017-12-19
• Re: [Merge] lp:~widelands-dev/widelands/fh1-scenario-groundwork-emp1 into lp:widelands
  From: kaputtnik, 2017-12-20
• Re: [Merge] lp:~widelands-dev/widelands/fh1-scenario-groundwork-emp1 into lp:widelands
  From: GunChleoc, 2018-01-04
• Re: [Merge] lp:~widelands-dev/widelands/fh1-scenario-groundwork-emp1 into lp:widelands
  From: kaputtnik, 2018-01-04
• Re: [Merge] lp:~widelands-dev/widelands/fh1-scenario-groundwork-emp1 into lp:widelands
  From: GunChleoc, 2018-01-05
• Re: [Merge] lp:~widelands-dev/widelands/fh1-scenario-groundwork-emp1 into lp:widelands
  From: kaputtnik, 2018-01-05
• [Merge] lp:~widelands-dev/widelands/fh1-scenario-groundwork-emp1 into lp:widelands
  From: bunnybot, 2018-01-05
• Re: [Merge] lp:~widelands-dev/widelands/fh1-scenario-groundwork-emp1 into lp:widelands
  From: GunChleoc, 2018-01-06
• Re: [Merge] lp:~widelands-dev/widelands/fh1-scenario-groundwork-emp1 into lp:widelands
  From: GunChleoc, 2018-01-06
• Re: [Merge] lp:~widelands-dev/widelands/fh1-scenario-groundwork-emp1 into lp:widelands
  From: kaputtnik, 2018-01-06
• [Merge] lp:~widelands-dev/widelands/fh1-scenario-groundwork-emp1 into lp:widelands
  From: bunnybot, 2018-01-06
• [Merge] lp:~widelands-dev/widelands/fh1-scenario-groundwork-emp1 into lp:widelands
  From: bunnybot, 2018-01-06
• Re: [Merge] lp:~widelands-dev/widelands/fh1-scenario-groundwork-emp1 into lp:widelands
  From: GunChleoc, 2018-01-07
• Re: [Merge] lp:~widelands-dev/widelands/fh1-scenario-groundwork-emp1 into lp:widelands
  From: kaputtnik, 2018-01-07
• [Merge] lp:~widelands-dev/widelands/fh1-scenario-groundwork-emp1 into lp:widelands
  From: noreply, 2018-01-07
• Re: [Merge] lp:~widelands-dev/widelands/fh1-scenario-groundwork-emp1 into lp:widelands
  From: GunChleoc, 2018-01-10
• [Merge] lp:~widelands-dev/widelands/bug-1727987_fix_dummy_map into lp:widelands
  From: kaputtnik, 2017-12-17
• Re: [Merge] lp:~widelands-dev/widelands/bug-1727987_fix_dummy_map into lp:widelands
  From: GunChleoc, 2017-12-17
• Re: [Merge] lp:~widelands-dev/widelands/bug-1727987_fix_dummy_map into lp:widelands
  From: kaputtnik, 2017-12-17
• Re: [Merge] lp:~widelands-dev/widelands/bug-1727987_fix_dummy_map into lp:widelands
  From: GunChleoc, 2017-12-17
• Re: [Merge] lp:~widelands-dev/widelands/bug-1727987_fix_dummy_map into lp:widelands
  From: kaputtnik, 2017-12-17
• Re: [Merge] lp:~widelands-dev/widelands/bug-1727987_fix_dummy_map into lp:widelands
  From: GunChleoc, 2017-12-18
• [Merge] lp:~widelands-dev/widelands/bug-1727987_fix_dummy_map into lp:widelands
  From: bunnybot, 2017-12-18
• [Merge] lp:~widelands-dev/widelands/bug-1727987_fix_dummy_map into lp:widelands
  From: noreply, 2017-12-18
• [Merge] lp:~widelands-dev/widelands/bug-1727987_fix_not_yet_implemented into lp:widelands
  From: kaputtnik, 2017-12-16
• [Merge] lp:~widelands-dev/widelands/bug-1727987_fix_not_yet_implemented into lp:widelands
  From: bunnybot, 2017-12-17
• [Merge] lp:~widelands-dev/widelands/bug-1727987_fix_not_yet_implemented into lp:widelands
  From: kaputtnik, 2017-12-17
• [Merge] lp:~kxq/widelands/feature-1656664-scout-improvement into lp:widelands
  From: Teppo Mäenpää, 2017-12-16
• Re: [Merge] lp:~kxq/widelands/feature-1656664-scout-improvement into lp:widelands
  From: Klaus Halfmann, 2017-12-16
• Re: [Merge] lp:~kxq/widelands/feature-1656664-scout-improvement into lp:widelands
  From: Teppo Mäenpää, 2017-12-16
• Re: [Merge] lp:~kxq/widelands/feature-1656664-scout-improvement into lp:widelands
  From: Teppo Mäenpää, 2017-12-16
• [Merge] lp:~kxq/widelands/feature-1656664-scout-improvement into lp:widelands
  From: bunnybot, 2017-12-16
• [Merge] lp:~widelands-dev/widelands/fh1-editorhelp into lp:widelands
  From: GunChleoc, 2017-12-16
• [Merge] lp:~widelands-dev/widelands/fh1-editorhelp into lp:widelands
  From: bunnybot, 2017-12-17
• Re: [Merge] lp:~widelands-dev/widelands/fh1-editorhelp into lp:widelands
  From: Notabilis, 2017-12-17
• Re: [Merge] lp:~widelands-dev/widelands/fh1-editorhelp into lp:widelands
  From: kaputtnik, 2017-12-17
• Re: [Merge] lp:~widelands-dev/widelands/fh1-editorhelp into lp:widelands
  From: GunChleoc, 2017-12-18
• [Merge] lp:~widelands-dev/widelands/fh1-editorhelp into lp:widelands
  From: bunnybot, 2017-12-19
• [Merge] lp:~widelands-dev/widelands/fh1-editorhelp into lp:widelands
  From: GunChleoc, 2017-12-19
• Re: [Merge] lp:~widelands-dev/widelands/fh1-editorhelp into lp:widelands
  From: GunChleoc, 2017-12-19
• Re: [Merge] lp:~widelands-dev/widelands/fh1-editorhelp into lp:widelands
  From: kaputtnik, 2017-12-19
• Re: [Merge] lp:~widelands-dev/widelands/fh1-editorhelp into lp:widelands
  From: GunChleoc, 2017-12-19
• Re: [Merge] lp:~widelands-dev/widelands/fh1-editorhelp into lp:widelands
  From: GunChleoc, 2017-12-19
• Re: [Merge] lp:~widelands-dev/widelands/fh1-editorhelp into lp:widelands
  From: kaputtnik, 2017-12-19
• Re: [Merge] lp:~widelands-dev/widelands/fh1-editorhelp into lp:widelands
  From: GunChleoc, 2017-12-19
• Re: [Merge] lp:~widelands-dev/widelands/fh1-editorhelp into lp:widelands
  From: Notabilis, 2017-12-19
• [Merge] lp:~widelands-dev/widelands/fh1-editorhelp into lp:widelands
  From: bunnybot, 2017-12-20
• Re: [Merge] lp:~widelands-dev/widelands/fh1-editorhelp into lp:widelands
  From: kaputtnik, 2017-12-20
• Re: [Merge] lp:~widelands-dev/widelands/fh1-editorhelp into lp:widelands
  From: GunChleoc, 2017-12-27
• Re: [Merge] lp:~widelands-dev/widelands/fh1-editorhelp into lp:widelands
  From: kaputtnik, 2017-12-27
• [Merge] lp:~widelands-dev/widelands/fh1-editorhelp into lp:widelands
  From: bunnybot, 2017-12-27
• Re: [Merge] lp:~widelands-dev/widelands/fh1-editorhelp into lp:widelands
  From: GunChleoc, 2017-12-28
• [Merge] lp:~widelands-dev/widelands/fh1-editorhelp into lp:widelands
  From: noreply, 2017-12-28
• [Merge] lp:~widelands-dev/widelands/ctrl-priorities into lp:widelands
  From: Notabilis, 2017-12-15
• [Merge] lp:~widelands-dev/widelands/ctrl-priorities into lp:widelands
  From: bunnybot, 2017-12-16
• Re: [Merge] lp:~widelands-dev/widelands/ctrl-priorities into lp:widelands
  From: GunChleoc, 2017-12-16
• Re: [Merge] lp:~widelands-dev/widelands/ctrl-priorities into lp:widelands
  From: Notabilis, 2017-12-17
• Re: [Merge] lp:~widelands-dev/widelands/ctrl-priorities into lp:widelands
  From: GunChleoc, 2017-12-17
• [Merge] lp:~widelands-dev/widelands/ctrl-priorities into lp:widelands
  From: bunnybot, 2017-12-17
• [Merge] lp:~widelands-dev/widelands/ctrl-priorities into lp:widelands
  From: bunnybot, 2017-12-17
• Re: [Merge] lp:~widelands-dev/widelands/ctrl-priorities into lp:widelands
  From: GunChleoc, 2017-12-18
• [Merge] lp:~widelands-dev/widelands/ctrl-priorities into lp:widelands
  From: noreply, 2017-12-18
• [Merge] lp:~widelands-dev/widelands/bug_1736095_improve_text_for_resources_height into lp:widelands
  From: kaputtnik, 2017-12-13
• [Merge] lp:~widelands-dev/widelands/bug_1736095_improve_text_for_resources_height into lp:widelands
  From: bunnybot, 2017-12-13
• Re: [Merge] lp:~widelands-dev/widelands/bug_1736095_improve_text_for_resources_height into lp:widelands
  From: GunChleoc, 2017-12-14
• Re: [Merge] lp:~widelands-dev/widelands/bug_1736095_improve_text_for_resources_height into lp:widelands
  From: kaputtnik, 2017-12-14
• [Merge] lp:~widelands-dev/widelands/bug_1736095_improve_text_for_resources_height into lp:widelands
  From: bunnybot, 2017-12-14
• Re: [Merge] lp:~widelands-dev/widelands/bug_1736095_improve_text_for_resources_height into lp:widelands
  From: kaputtnik, 2017-12-16
• Re: [Merge] lp:~widelands-dev/widelands/bug_1736095_improve_text_for_resources_height into lp:widelands
  From: GunChleoc, 2017-12-16
• Re: [Merge] lp:~widelands-dev/widelands/bug_1736095_improve_text_for_resources_height into lp:widelands
  From: kaputtnik, 2017-12-16
• Re: [Merge] lp:~widelands-dev/widelands/bug_1736095_improve_text_for_resources_height into lp:widelands
  From: GunChleoc, 2017-12-17
• Re: [Merge] lp:~widelands-dev/widelands/bug_1736095_improve_text_for_resources_height into lp:widelands
  From: kaputtnik, 2017-12-17
• [Merge] lp:~widelands-dev/widelands/bug_1736095_improve_text_for_resources_height into lp:widelands
  From: GunChleoc, 2017-12-18
• Re: [Merge] lp:~widelands-dev/widelands/bug_1736095_improve_text_for_resources_height into lp:widelands
  From: GunChleoc, 2017-12-18
• [Merge] lp:~widelands-dev/widelands/bug_1736095_improve_text_for_resources_height into lp:widelands
  From: bunnybot, 2017-12-18
• Re: [Merge] lp:~widelands-dev/widelands/bug_1736095_improve_text_for_resources_height into lp:widelands
  From: GunChleoc, 2017-12-19
• [Merge] lp:~widelands-dev/widelands/bug_1736095_improve_text_for_resources_height into lp:widelands
  From: noreply, 2017-12-19
• [Merge] lp:~widelands-dev/widelands-website/better_notification_mail into lp:widelands-website
  From: kaputtnik, 2017-12-11
• Re: [Merge] lp:~widelands-dev/widelands-website/better_notification_mail into lp:widelands-website
  From: kaputtnik, 2018-01-02
• Re: [Merge] lp:~widelands-dev/widelands-website/better_notification_mail into lp:widelands-website
  From: kaputtnik, 2018-01-04
• Re: [Merge] lp:~widelands-dev/widelands-website/better_notification_mail into lp:widelands-website
  From: GunChleoc, 2018-01-04
• Re: [Merge] lp:~widelands-dev/widelands-website/better_notification_mail into lp:widelands-website
  From: kaputtnik, 2018-01-14
• Re: [Merge] lp:~widelands-dev/widelands-website/better_notification_mail into lp:widelands-website
  From: SirVer, 2018-01-28
• Re: [Merge] lp:~widelands-dev/widelands-website/better_notification_mail into lp:widelands-website
  From: kaputtnik, 2018-02-03
• Re: [Merge] lp:~widelands-dev/widelands-website/better_notification_mail into lp:widelands-website
  From: kaputtnik, 2018-02-04
• Re: [Merge] lp:~widelands-dev/widelands-website/better_notification_mail into lp:widelands-website
  From: kaputtnik, 2018-02-04
• Re: [Merge] lp:~widelands-dev/widelands-website/better_notification_mail into lp:widelands-website
  From: GunChleoc, 2018-02-15
• Re: [Merge] lp:~widelands-dev/widelands-website/better_notification_mail into lp:widelands-website
  From: GunChleoc, 2018-02-15
• Re: [Merge] lp:~widelands-dev/widelands-website/better_notification_mail into lp:widelands-website
  From: kaputtnik, 2018-02-15
• Re: [Merge] lp:~widelands-dev/widelands-website/better_notification_mail into lp:widelands-website
  From: GunChleoc, 2018-02-15
• [Merge] lp:~widelands-dev/widelands-website/better_notification_mail into lp:widelands-website
  From: noreply, 2018-02-22
• Re: [Merge] lp:~widelands-dev/widelands-website/better_notification_mail into lp:widelands-website
  From: kaputtnik, 2018-02-22
• [Merge] lp:~widelands-dev/widelands/bug-1735967-productionsitewindow into lp:widelands
  From: GunChleoc, 2017-12-11
• [Merge] lp:~widelands-dev/widelands/bug-1735967-productionsitewindow into lp:widelands
  From: bunnybot, 2017-12-11
• Re: [Merge] lp:~widelands-dev/widelands/bug-1735967-productionsitewindow into lp:widelands
  From: TiborB, 2017-12-13
• Re: [Merge] lp:~widelands-dev/widelands/bug-1735967-productionsitewindow into lp:widelands
  From: GunChleoc, 2017-12-13
• [Merge] lp:~widelands-dev/widelands/bug-1735967-productionsitewindow into lp:widelands
  From: noreply, 2017-12-13
• [Merge] lp:~widelands-dev/widelands/story_message_box into lp:widelands
  From: GunChleoc, 2017-12-09
• [Merge] lp:~widelands-dev/widelands/story_message_box into lp:widelands
  From: bunnybot, 2017-12-09
• Re: [Merge] lp:~widelands-dev/widelands/story_message_box into lp:widelands
  From: Notabilis, 2017-12-16
• Re: [Merge] lp:~widelands-dev/widelands/story_message_box into lp:widelands
  From: GunChleoc, 2017-12-16

 •  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