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/bug-1830868-skip-tests into lp:widelands, (continued)
  • [Merge] lp:~widelands-dev/widelands/bug-1830868-skip-tests into lp:widelands
    From: noreply, 2019-06-19
• [Merge] lp:~widelands-dev/widelands-website/wlwebsite_py36 into lp:widelands-website
  From: kaputtnik, 2019-06-09
• Re: [Merge] lp:~widelands-dev/widelands-website/wlwebsite_py36 into lp:widelands-website
  From: GunChleoc, 2019-06-14
• [Merge] lp:~widelands-dev/widelands-website/wlwebsite_py36 into lp:widelands-website
  From: noreply, 2019-06-14
• Re: [Merge] lp:~widelands-dev/widelands-website/wlwebsite_py36 into lp:widelands-website
  From: kaputtnik, 2019-06-14
• [Merge] lp:~widelands-dev/widelands/ai_flag_warehouse_distance into lp:widelands
  From: TiborB, 2019-06-07
• Re: [Merge] lp:~widelands-dev/widelands/ai_flag_warehouse_distance into lp:widelands
  From: TiborB, 2019-06-09
• Re: [Merge] lp:~widelands-dev/widelands/ai_flag_warehouse_distance into lp:widelands
  From: hessenfarmer, 2019-06-10
• Re: [Merge] lp:~widelands-dev/widelands/ai_flag_warehouse_distance into lp:widelands
  From: TiborB, 2019-06-10
• Re: [Merge] lp:~widelands-dev/widelands/ai_flag_warehouse_distance into lp:widelands
  From: hessenfarmer, 2019-06-11
• [Merge] lp:~widelands-dev/widelands/ai_flag_warehouse_distance into lp:widelands
  From: bunnybot, 2019-06-12
• [Merge] lp:~widelands-dev/widelands/ai_flag_warehouse_distance into lp:widelands
  From: bunnybot, 2019-06-12
• Re: [Merge] lp:~widelands-dev/widelands/ai_flag_warehouse_distance into lp:widelands
  From: hessenfarmer, 2019-07-07
• Re: [Merge] lp:~widelands-dev/widelands/ai_flag_warehouse_distance into lp:widelands
  From: GunChleoc, 2019-07-09
• [Merge] lp:~widelands-dev/widelands/ai_flag_warehouse_distance into lp:widelands
  From: bunnybot, 2019-07-10
• Re: [Merge] lp:~widelands-dev/widelands/ai_flag_warehouse_distance into lp:widelands
  From: TiborB, 2019-07-11
• [Merge] lp:~widelands-dev/widelands/ai_flag_warehouse_distance into lp:widelands
  From: bunnybot, 2019-07-23
• [Merge] lp:~widelands-dev/widelands/ai_flag_warehouse_distance into lp:widelands
  From: bunnybot, 2019-07-25
• Re: [Merge] lp:~widelands-dev/widelands/ai_flag_warehouse_distance into lp:widelands
  From: TiborB, 2019-07-25
• Re: [Merge] lp:~widelands-dev/widelands/ai_flag_warehouse_distance into lp:widelands
  From: hessenfarmer, 2019-07-29
• Re: [Merge] lp:~widelands-dev/widelands/ai_flag_warehouse_distance into lp:widelands
  From: TiborB, 2019-07-29
• Re: [Merge] lp:~widelands-dev/widelands/ai_flag_warehouse_distance into lp:widelands
  From: GunChleoc, 2019-07-31
• Re: [Merge] lp:~widelands-dev/widelands/ai_flag_warehouse_distance into lp:widelands
  From: TiborB, 2019-07-31
• Re: [Merge] lp:~widelands-dev/widelands/ai_flag_warehouse_distance into lp:widelands
  From: TiborB, 2019-08-01
• Re: [Merge] lp:~widelands-dev/widelands/ai_flag_warehouse_distance into lp:widelands
  From: GunChleoc, 2019-08-02
• [Merge] lp:~widelands-dev/widelands/ai_flag_warehouse_distance into lp:widelands
  From: bunnybot, 2019-08-02
• Re: [Merge] lp:~widelands-dev/widelands/ai_flag_warehouse_distance into lp:widelands
  From: hessenfarmer, 2019-08-02
• [Merge] lp:~widelands-dev/widelands/ai_flag_warehouse_distance into lp:widelands
  From: noreply, 2019-08-02
• [Merge] lp:~widelands-dev/widelands/atlantean_fishbreeder into lp:widelands
  From: Toni Förster, 2019-06-06
• [Merge] lp:~widelands-dev/widelands/atlantean_fishbreeder into lp:widelands
  From: bunnybot, 2019-06-07
• Re: [Merge] lp:~widelands-dev/widelands/atlantean_fishbreeder into lp:widelands
  From: kaputtnik, 2019-06-07
• Re: [Merge] lp:~widelands-dev/widelands/atlantean_fishbreeder into lp:widelands
  From: Toni Förster, 2019-06-07
• Re: [Merge] lp:~widelands-dev/widelands/atlantean_fishbreeder into lp:widelands
  From: hessenfarmer, 2019-06-10
• Re: [Merge] lp:~widelands-dev/widelands/atlantean_fishbreeder into lp:widelands
  From: hessenfarmer, 2019-06-13
• [Merge] lp:~widelands-dev/widelands/atlantean_fishbreeder into lp:widelands
  From: bunnybot, 2019-06-13
• Re: [Merge] lp:~widelands-dev/widelands/atlantean_fishbreeder into lp:widelands
  From: hessenfarmer, 2019-06-13
• [Merge] lp:~widelands-dev/widelands/atlantean_fishbreeder into lp:widelands
  From: noreply, 2019-06-13
• [Merge] lp:~widelands-dev/widelands/bug-1825486-inputqueue-test into lp:widelands
  From: GunChleoc, 2019-06-06
• [Merge] lp:~widelands-dev/widelands/bug-1825486-inputqueue-test into lp:widelands
  From: bunnybot, 2019-06-06
• [Merge] lp:~widelands-dev/widelands/bug-1825486-inputqueue-test into lp:widelands
  From: bunnybot, 2019-06-12
• [Merge] lp:~widelands-dev/widelands/bug-1825486-inputqueue-test into lp:widelands
  From: GunChleoc, 2019-06-21
• [Merge] lp:~widelands-dev/widelands/bug-1825486-inputqueue-test into lp:widelands
  From: GunChleoc, 2019-06-21
• Re: [Merge] lp:~widelands-dev/widelands/bug-1825486-inputqueue-test into lp:widelands
  From: GunChleoc, 2019-06-21
• [Merge] lp:~widelands-dev/widelands/bug-1825486-inputqueue-test into lp:widelands
  From: bunnybot, 2019-06-22
• Re: [Merge] lp:~widelands-dev/widelands/bug-1825486-inputqueue-test into lp:widelands
  From: GunChleoc, 2019-06-22
• [Merge] lp:~widelands-dev/widelands/bug-1825486-inputqueue-test into lp:widelands
  From: GunChleoc, 2019-06-22
• [Merge] lp:~widelands-dev/widelands/bug-1831583-fri02 into lp:widelands
  From: Benedikt Straub, 2019-06-04
• [Merge] lp:~widelands-dev/widelands/bug-1831583-fri02 into lp:widelands
  From: bunnybot, 2019-06-05
• Re: [Merge] lp:~widelands-dev/widelands/bug-1831583-fri02 into lp:widelands
  From: GunChleoc, 2019-06-05
• [Merge] lp:~widelands-dev/widelands/bug-1831583-fri02 into lp:widelands
  From: bunnybot, 2019-06-05
• Re: [Merge] lp:~widelands-dev/widelands/bug-1831583-fri02 into lp:widelands
  From: hessenfarmer, 2019-06-05
• Re: [Merge] lp:~widelands-dev/widelands/bug-1831583-fri02 into lp:widelands
  From: hessenfarmer, 2019-06-05
• [Merge] lp:~widelands-dev/widelands/bug-1831583-fri02 into lp:widelands
  From: noreply, 2019-06-05
• [Merge] lp:~widelands-dev/widelands/bug-1826744-lobby-commands into lp:widelands
  From: Notabilis, 2019-06-03
• Re: [Merge] lp:~widelands-dev/widelands/bug-1826744-lobby-commands into lp:widelands
  From: Toni Förster, 2019-06-03
• [Merge] lp:~widelands-dev/widelands/bug-1826744-lobby-commands into lp:widelands
  From: bunnybot, 2019-06-03
• Re: [Merge] lp:~widelands-dev/widelands/bug-1826744-lobby-commands into lp:widelands
  From: Notabilis, 2019-06-04
• Re: [Merge] lp:~widelands-dev/widelands/bug-1826744-lobby-commands into lp:widelands
  From: Toni Förster, 2019-06-04
• Re: [Merge] lp:~widelands-dev/widelands/bug-1826744-lobby-commands into lp:widelands
  From: Notabilis, 2019-06-04
• [Merge] lp:~widelands-dev/widelands/bug-1826744-lobby-commands into lp:widelands
  From: bunnybot, 2019-06-04
• Re: [Merge] lp:~widelands-dev/widelands/bug-1826744-lobby-commands into lp:widelands
  From: GunChleoc, 2019-06-05
• Re: [Merge] lp:~widelands-dev/widelands/bug-1826744-lobby-commands into lp:widelands
  From: Notabilis, 2019-06-05
• [Merge] lp:~widelands-dev/widelands/bug-1826744-lobby-commands into lp:widelands
  From: bunnybot, 2019-06-05
• Re: [Merge] lp:~widelands-dev/widelands/bug-1826744-lobby-commands into lp:widelands
  From: Toni Förster, 2019-06-08
• Re: [Merge] lp:~widelands-dev/widelands/bug-1826744-lobby-commands into lp:widelands
  From: Notabilis, 2019-06-13
• Re: [Merge] lp:~widelands-dev/widelands/bug-1826744-lobby-commands into lp:widelands
  From: Toni Förster, 2019-06-13
• Re: [Merge] lp:~widelands-dev/widelands/bug-1826744-lobby-commands into lp:widelands
  From: Toni Förster, 2019-06-14
• Re: [Merge] lp:~widelands-dev/widelands/bug-1826744-lobby-commands into lp:widelands
  From: GunChleoc, 2019-06-14
• Re: [Merge] lp:~widelands-dev/widelands/bug-1826744-lobby-commands into lp:widelands
  From: Toni Förster, 2019-06-14
• [Merge] lp:~widelands-dev/widelands/bug-1826744-lobby-commands into lp:widelands
  From: noreply, 2019-06-14
• Re: [Merge] lp:~widelands-dev/widelands/bug-1826744-lobby-commands into lp:widelands
  From: Notabilis, 2019-06-15
• Re: [Merge] lp:~widelands-dev/widelands/bug-1826744-lobby-commands into lp:widelands
  From: GunChleoc, 2019-06-19
• Current state of launchpad->github migration
  From: Tino, 2019-06-03
• [Merge] lp:~widelands-dev/widelands/fix_context_selection into lp:widelands
  From: SirVer, 2019-06-02
• [Merge] lp:~widelands-dev/widelands/fix_context_selection into lp:widelands
  From: bunnybot, 2019-06-03
• [Merge] lp:~widelands-dev/widelands/fix_context_selection into lp:widelands
  From: bunnybot, 2019-06-03
• Re: [Merge] lp:~widelands-dev/widelands/fix_context_selection into lp:widelands
  From: kaputtnik, 2019-06-03
• Re: [Merge] lp:~widelands-dev/widelands/fix_context_selection into lp:widelands
  From: GunChleoc, 2019-06-04
• [Merge] lp:~widelands-dev/widelands/fix_context_selection into lp:widelands
  From: noreply, 2019-06-04
• Re: [Merge] lp:~widelands-dev/widelands/fix_context_selection into lp:widelands
  From: kaputtnik, 2019-06-04
• [Merge] lp:~widelands-dev/widelands/travis_xenial into lp:widelands
  From: Toni Förster, 2019-06-02
• [Merge] lp:~widelands-dev/widelands/travis_xenial into lp:widelands
  From: bunnybot, 2019-06-03
• [Merge] lp:~widelands-dev/widelands/travis_xenial into lp:widelands
  From: bunnybot, 2019-06-13
• Re: [Merge] lp:~widelands-dev/widelands/travis_xenial into lp:widelands
  From: kaputtnik, 2019-08-11
• [Merge] lp:~thenifker13/widelands/trunk into lp:widelands
  From: Antonino Siena, 2019-06-02
• [Merge] lp:~thenifker13/widelands/trunk into lp:widelands
  From: bunnybot, 2019-06-02
• [Merge] lp:~thenifker13/widelands/trunk into lp:widelands
  From: GunChleoc, 2019-09-09
• Re: [Merge] lp:~thenifker13/widelands/trunk into lp:widelands
  From: GunChleoc, 2019-09-18
• [Merge] lp:~thenifker13/widelands/trunk into lp:widelands
  From: GunChleoc, 2019-09-18
• [Merge] lp:~widelands-dev/widelands/bug-1830376-lanless-lan-game into lp:widelands
  From: Notabilis, 2019-06-01
• Re: [Merge] lp:~widelands-dev/widelands/bug-1830376-lanless-lan-game into lp:widelands
  From: GunChleoc, 2019-06-02
• [Merge] lp:~widelands-dev/widelands/bug-1830376-lanless-lan-game into lp:widelands
  From: bunnybot, 2019-06-02
• [Merge] lp:~widelands-dev/widelands/bug-1830376-lanless-lan-game into lp:widelands
  From: noreply, 2019-06-02
• [Merge] lp:~widelands-dev/widelands/toolbar-dropdown-scripting-review-only into lp:widelands
  From: GunChleoc, 2019-06-01
• [Merge] lp:~widelands-dev/widelands/toolbar-dropdown-scripting-review-only into lp:widelands
  From: bunnybot, 2019-06-01
• [Merge] lp:~widelands-dev/widelands/toolbar-dropdown-scripting-review-only into lp:widelands
  From: noreply, 2019-08-10
• Re: [Merge] lp:~widelands-dev/widelands/toolbar-dropdown-scripting-review-only into lp:widelands
  From: Klaus Halfmann, 2019-08-10
• Re: [Merge] lp:~widelands-dev/widelands/toolbar-dropdown-scripting-review-only into lp:widelands
  From: GunChleoc, 2019-08-10
• [Merge] lp:~widelands-dev/widelands/toolbar-dropdown-menus into lp:widelands
  From: GunChleoc, 2019-06-01
• <Possible follow-ups>
• [Merge] lp:~widelands-dev/widelands/toolbar-dropdown-menus into lp:widelands
  From: GunChleoc, 2019-06-01
• [Merge] lp:~widelands-dev/widelands/toolbar-dropdown-menus into lp:widelands
  From: GunChleoc, 2019-06-01
• [Merge] lp:~widelands-dev/widelands/toolbar-dropdown-menus into lp:widelands
  From: GunChleoc, 2019-06-01
• [Merge] lp:~widelands-dev/widelands/toolbar-dropdown-menus into lp:widelands
  From: bunnybot, 2019-06-01
• Re: [Merge] lp:~widelands-dev/widelands/toolbar-dropdown-menus into lp:widelands
  From: GunChleoc, 2019-06-25
• Re: [Merge] lp:~widelands-dev/widelands/toolbar-dropdown-menus into lp:widelands
  From: Klaus Halfmann, 2019-06-25
• Re: [Merge] lp:~widelands-dev/widelands/toolbar-dropdown-menus into lp:widelands
  From: GunChleoc, 2019-06-25
• Re: [Merge] lp:~widelands-dev/widelands/toolbar-dropdown-menus into lp:widelands
  From: Klaus Halfmann, 2019-06-25
• Re: [Merge] lp:~widelands-dev/widelands/toolbar-dropdown-menus into lp:widelands
  From: GunChleoc, 2019-06-26
• [Merge] lp:~widelands-dev/widelands/toolbar-dropdown-menus into lp:widelands
  From: bunnybot, 2019-06-25
• Re: [Merge] lp:~widelands-dev/widelands/toolbar-dropdown-menus into lp:widelands
  From: Klaus Halfmann, 2019-07-05
• Re: [Merge] lp:~widelands-dev/widelands/toolbar-dropdown-menus into lp:widelands
  From: Klaus Halfmann, 2019-07-05
• Re: [Merge] lp:~widelands-dev/widelands/toolbar-dropdown-menus into lp:widelands
  From: GunChleoc, 2019-07-11
• [Merge] lp:~widelands-dev/widelands/toolbar-dropdown-menus into lp:widelands
  From: bunnybot, 2019-07-11
• Re: [Merge] lp:~widelands-dev/widelands/toolbar-dropdown-menus into lp:widelands
  From: GunChleoc, 2019-07-28
• Re: [Merge] lp:~widelands-dev/widelands/toolbar-dropdown-menus into lp:widelands
  From: Klaus Halfmann, 2019-07-28
• Re: [Merge] lp:~widelands-dev/widelands/toolbar-dropdown-menus into lp:widelands
  From: Klaus Halfmann, 2019-07-28
• [Merge] lp:~widelands-dev/widelands/toolbar-dropdown-menus into lp:widelands
  From: bunnybot, 2019-07-28
• Re: [Merge] lp:~widelands-dev/widelands/toolbar-dropdown-menus into lp:widelands
  From: GunChleoc, 2019-07-31
• Re: [Merge] lp:~widelands-dev/widelands/toolbar-dropdown-menus into lp:widelands
  From: GunChleoc, 2019-07-31
• Re: [Merge] lp:~widelands-dev/widelands/toolbar-dropdown-menus into lp:widelands
  From: Klaus Halfmann, 2019-08-09
• Re: [Merge] lp:~widelands-dev/widelands/toolbar-dropdown-menus into lp:widelands
  From: GunChleoc, 2019-08-09
• Re: [Merge] lp:~widelands-dev/widelands/toolbar-dropdown-menus into lp:widelands
  From: Klaus Halfmann, 2019-08-09
• [Merge] lp:~widelands-dev/widelands/toolbar-dropdown-menus into lp:widelands
  From: bunnybot, 2019-08-10
• [Merge] lp:~widelands-dev/widelands/toolbar-dropdown-menus into lp:widelands
  From: bunnybot, 2019-08-10
• Re: [Merge] lp:~widelands-dev/widelands/toolbar-dropdown-menus into lp:widelands
  From: Klaus Halfmann, 2019-08-10
• Re: [Merge] lp:~widelands-dev/widelands/toolbar-dropdown-menus into lp:widelands
  From: Klaus Halfmann, 2019-08-10
• Re: [Merge] lp:~widelands-dev/widelands/toolbar-dropdown-menus into lp:widelands
  From: Klaus Halfmann, 2019-08-10
• Re: [Merge] lp:~widelands-dev/widelands/toolbar-dropdown-menus into lp:widelands
  From: Klaus Halfmann, 2019-08-10
• Re: [Merge] lp:~widelands-dev/widelands/toolbar-dropdown-menus into lp:widelands
  From: GunChleoc, 2019-08-10
• [Merge] lp:~widelands-dev/widelands/toolbar-dropdown-menus into lp:widelands
  From: bunnybot, 2019-08-10
• [Merge] lp:~widelands-dev/widelands/toolbar-dropdown-menus into lp:widelands
  From: noreply, 2019-08-10
• [Merge] lp:~widelands-dev/widelands/resize_caret into lp:widelands
  From: Toni Förster, 2019-06-01
• Re: [Merge] lp:~widelands-dev/widelands/resize_caret into lp:widelands
  From: GunChleoc, 2019-06-01
• [Merge] lp:~widelands-dev/widelands/resize_caret into lp:widelands
  From: bunnybot, 2019-06-02
• Re: [Merge] lp:~widelands-dev/widelands/resize_caret into lp:widelands
  From: GunChleoc, 2019-06-02
• Re: [Merge] lp:~widelands-dev/widelands/resize_caret into lp:widelands
  From: GunChleoc, 2019-06-02
• [Merge] lp:~widelands-dev/widelands/resize_caret into lp:widelands
  From: bunnybot, 2019-06-02
• Re: [Merge] lp:~widelands-dev/widelands/resize_caret into lp:widelands
  From: Toni Förster, 2019-06-02
• [Merge] lp:~widelands-dev/widelands/resize_caret into lp:widelands
  From: noreply, 2019-06-02
• [Merge] lp:~widelands-dev/widelands/net-checkpwd-command into lp:widelands
  From: Notabilis, 2019-06-01
• Re: [Merge] lp:~widelands-dev/widelands/net-checkpwd-command into lp:widelands
  From: GunChleoc, 2019-06-01
• Re: [Merge] lp:~widelands-dev/widelands/net-checkpwd-command into lp:widelands
  From: Notabilis, 2019-06-01
• [Merge] lp:~widelands-dev/widelands/net-checkpwd-command into lp:widelands
  From: bunnybot, 2019-06-02
• Re: [Merge] lp:~widelands-dev/widelands/net-checkpwd-command into lp:widelands
  From: Notabilis, 2019-06-02
• Re: [Merge] lp:~widelands-dev/widelands/net-checkpwd-command into lp:widelands
  From: GunChleoc, 2019-06-02
• [Merge] lp:~widelands-dev/widelands/net-checkpwd-command into lp:widelands
  From: noreply, 2019-06-02
• [Merge] lp:~widelands-dev/widelands/fix-dropdowns into lp:widelands
  From: GunChleoc, 2019-06-01
• [Merge] lp:~widelands-dev/widelands/fix-dropdowns into lp:widelands
  From: bunnybot, 2019-06-01
• [Merge] lp:~widelands-dev/widelands/fix-dropdowns into lp:widelands
  From: bunnybot, 2019-06-02
• [Merge] lp:~widelands-dev/widelands/fix-dropdowns into lp:widelands
  From: bunnybot, 2019-06-06
• Re: [Merge] lp:~widelands-dev/widelands/fix-dropdowns into lp:widelands
  From: Klaus Halfmann, 2019-06-24
• Re: [Merge] lp:~widelands-dev/widelands/fix-dropdowns into lp:widelands
  From: GunChleoc, 2019-06-24
• Re: [Merge] lp:~widelands-dev/widelands/fix-dropdowns into lp:widelands
  From: Klaus Halfmann, 2019-06-24
• Re: [Merge] lp:~widelands-dev/widelands/fix-dropdowns into lp:widelands
  From: GunChleoc, 2019-06-24
• Re: [Merge] lp:~widelands-dev/widelands/fix-dropdowns into lp:widelands
  From: Klaus Halfmann, 2019-06-24
• Re: [Merge] lp:~widelands-dev/widelands/fix-dropdowns into lp:widelands
  From: GunChleoc, 2019-06-24
• [Merge] lp:~widelands-dev/widelands/fix-dropdowns into lp:widelands
  From: bunnybot, 2019-06-24
• [Merge] lp:~widelands-dev/widelands/fix-dropdowns into lp:widelands
  From: bunnybot, 2019-06-25
• Re: [Merge] lp:~widelands-dev/widelands/fix-dropdowns into lp:widelands
  From: Klaus Halfmann, 2019-06-25
• Re: [Merge] lp:~widelands-dev/widelands/fix-dropdowns into lp:widelands
  From: GunChleoc, 2019-06-25
• Re: [Merge] lp:~widelands-dev/widelands/fix-dropdowns into lp:widelands
  From: Klaus Halfmann, 2019-06-25
• [Merge] lp:~widelands-dev/widelands/fix-dropdowns into lp:widelands
  From: GunChleoc, 2019-06-25
• Re: [Merge] lp:~widelands-dev/widelands/fix-dropdowns into lp:widelands
  From: GunChleoc, 2019-06-25
• [Merge] lp:~widelands-dev/widelands/fix-dropdowns into lp:widelands
  From: noreply, 2019-06-25
• [Merge] lp:~widelands-dev/widelands/appveyor_fixes_may_19 into lp:widelands
  From: hessenfarmer, 2019-05-31
• [Merge] lp:~widelands-dev/widelands/appveyor_fixes_may_19 into lp:widelands
  From: bunnybot, 2019-06-01
• Re: [Merge] lp:~widelands-dev/widelands/appveyor_fixes_may_19 into lp:widelands
  From: hessenfarmer, 2019-06-01
• Re: [Merge] lp:~widelands-dev/widelands/appveyor_fixes_may_19 into lp:widelands
  From: hessenfarmer, 2019-06-01
• [Merge] lp:~widelands-dev/widelands/appveyor_fixes_may_19 into lp:widelands
  From: hessenfarmer, 2019-06-01
• [Merge] lp:~widelands-dev/widelands/appveyor_fixes_may_19 into lp:widelands
  From: bunnybot, 2019-06-02
• Re: [Merge] lp:~widelands-dev/widelands/appveyor_fixes_may_19 into lp:widelands
  From: hessenfarmer, 2019-06-02
• Re: [Merge] lp:~widelands-dev/widelands/appveyor_fixes_may_19 into lp:widelands
  From: GunChleoc, 2019-06-02
• Re: [Merge] lp:~widelands-dev/widelands/appveyor_fixes_may_19 into lp:widelands
  From: hessenfarmer, 2019-06-02
• Re: [Merge] lp:~widelands-dev/widelands/appveyor_fixes_may_19 into lp:widelands
  From: hessenfarmer, 2019-06-02
• [Merge] lp:~widelands-dev/widelands/appveyor_fixes_may_19 into lp:widelands
  From: noreply, 2019-06-02
• [Merge] lp:~widelands-dev/widelands/unify_sleep_time into lp:widelands
  From: Toni Förster, 2019-05-29
• [Merge] lp:~widelands-dev/widelands/unify_sleep_time into lp:widelands
  From: Toni Förster, 2019-05-29
• Re: [Merge] lp:~widelands-dev/widelands/unify_sleep_time into lp:widelands
  From: hessenfarmer, 2019-05-29
• Re: [Merge] lp:~widelands-dev/widelands/unify_sleep_time into lp:widelands
  From: Toni Förster, 2019-05-29
• Re: [Merge] lp:~widelands-dev/widelands/unify_sleep_time into lp:widelands
  From: hessenfarmer, 2019-05-29
• Re: [Merge] lp:~widelands-dev/widelands/unify_sleep_time into lp:widelands
  From: Toni Förster, 2019-05-29
• Re: [Merge] lp:~widelands-dev/widelands/unify_sleep_time into lp:widelands
  From: hessenfarmer, 2019-05-29
• Re: [Merge] lp:~widelands-dev/widelands/unify_sleep_time into lp:widelands
  From: Toni Förster, 2019-05-29
• [Merge] lp:~widelands-dev/widelands/unify_sleep_time into lp:widelands
  From: bunnybot, 2019-05-30
• Re: [Merge] lp:~widelands-dev/widelands/unify_sleep_time into lp:widelands
  From: Toni Förster, 2019-05-30
• Re: [Merge] lp:~widelands-dev/widelands/unify_sleep_time into lp:widelands
  From: hessenfarmer, 2019-05-31
• Re: [Merge] lp:~widelands-dev/widelands/unify_sleep_time into lp:widelands
  From: Toni Förster, 2019-05-31
• Re: [Merge] lp:~widelands-dev/widelands/unify_sleep_time into lp:widelands
  From: Toni Förster, 2019-05-31
• Re: [Merge] lp:~widelands-dev/widelands/unify_sleep_time into lp:widelands
  From: Toni Förster, 2019-05-31
• Re: [Merge] lp:~widelands-dev/widelands/unify_sleep_time into lp:widelands
  From: hessenfarmer, 2019-05-31
• Re: [Merge] lp:~widelands-dev/widelands/unify_sleep_time into lp:widelands
  From: hessenfarmer, 2019-06-01
• Re: [Merge] lp:~widelands-dev/widelands/unify_sleep_time into lp:widelands
  From: Toni Förster, 2019-06-02
• Re: [Merge] lp:~widelands-dev/widelands/unify_sleep_time into lp:widelands
  From: hessenfarmer, 2019-06-03
• Re: [Merge] lp:~widelands-dev/widelands/unify_sleep_time into lp:widelands
  From: Toni Förster, 2019-06-03
• Re: [Merge] lp:~widelands-dev/widelands/unify_sleep_time into lp:widelands
  From: hessenfarmer, 2019-06-03
• [Merge] lp:~widelands-dev/widelands/unify_sleep_time into lp:widelands
  From: bunnybot, 2019-06-03
• Re: [Merge] lp:~widelands-dev/widelands/unify_sleep_time into lp:widelands
  From: GunChleoc, 2019-06-04
• [Merge] lp:~widelands-dev/widelands/unify_sleep_time into lp:widelands
  From: noreply, 2019-06-04
• [Merge] lp:~widelands-dev/widelands/workarea-fixes into lp:widelands
  From: Benedikt Straub, 2019-05-29
• [Merge] lp:~widelands-dev/widelands/workarea-fixes into lp:widelands
  From: bunnybot, 2019-05-30

 •  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