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.

• Re: [Merge] lp:~widelands-dev/widelands/ai_training_switch into lp:widelands, (continued)
  • Re: [Merge] lp:~widelands-dev/widelands/ai_training_switch into lp:widelands
    From: TiborB, 2017-08-15
  • Re: [Merge] lp:~widelands-dev/widelands/ai_training_switch into lp:widelands
    From: TiborB, 2017-08-15
  • Re: [Merge] lp:~widelands-dev/widelands/ai_training_switch into lp:widelands
    From: GunChleoc, 2017-08-16
  • Re: [Merge] lp:~widelands-dev/widelands/ai_training_switch into lp:widelands
    From: Klaus Halfmann, 2017-08-16
  • Re: [Merge] lp:~widelands-dev/widelands/ai_training_switch into lp:widelands
    From: TiborB, 2017-08-16
  • Re: [Merge] lp:~widelands-dev/widelands/ai_training_switch into lp:widelands
    From: Klaus Halfmann, 2017-08-16
  • Re: [Merge] lp:~widelands-dev/widelands/ai_training_switch into lp:widelands
    From: TiborB, 2017-08-16
  • Re: [Merge] lp:~widelands-dev/widelands/ai_training_switch into lp:widelands
    From: GunChleoc, 2017-08-16
  • Re: [Merge] lp:~widelands-dev/widelands/ai_training_switch into lp:widelands
    From: TiborB, 2017-08-16
  • Re: [Merge] lp:~widelands-dev/widelands/ai_training_switch into lp:widelands
    From: GunChleoc, 2017-08-16
  • Re: [Merge] lp:~widelands-dev/widelands/ai_training_switch into lp:widelands
    From: TiborB, 2017-08-16
  • Re: [Merge] lp:~widelands-dev/widelands/ai_training_switch into lp:widelands
    From: TiborB, 2017-08-16
  • Re: [Merge] lp:~widelands-dev/widelands/ai_training_switch into lp:widelands
    From: kaputtnik, 2017-08-16
  • Re: [Merge] lp:~widelands-dev/widelands/ai_training_switch into lp:widelands
    From: TiborB, 2017-08-16
  • Re: [Merge] lp:~widelands-dev/widelands/ai_training_switch into lp:widelands
    From: kaputtnik, 2017-08-16
  • Re: [Merge] lp:~widelands-dev/widelands/ai_training_switch into lp:widelands
    From: TiborB, 2017-08-16
  • Re: [Merge] lp:~widelands-dev/widelands/ai_training_switch into lp:widelands
    From: GunChleoc, 2017-08-16
  • Re: [Merge] lp:~widelands-dev/widelands/ai_training_switch into lp:widelands
    From: kaputtnik, 2017-08-16
  • Re: [Merge] lp:~widelands-dev/widelands/ai_training_switch into lp:widelands
    From: TiborB, 2017-08-16
  • Re: [Merge] lp:~widelands-dev/widelands/ai_training_switch into lp:widelands
    From: kaputtnik, 2017-08-16
  • Re: [Merge] lp:~widelands-dev/widelands/ai_training_switch into lp:widelands
    From: TiborB, 2017-08-16
  • [Merge] lp:~widelands-dev/widelands/ai_training_switch into lp:widelands
    From: GunChleoc, 2017-08-17
  • Re: [Merge] lp:~widelands-dev/widelands/ai_training_switch into lp:widelands
    From: GunChleoc, 2017-08-17
  • Re: [Merge] lp:~widelands-dev/widelands/ai_training_switch into lp:widelands
    From: kaputtnik, 2017-08-17
  • Re: [Merge] lp:~widelands-dev/widelands/ai_training_switch into lp:widelands
    From: TiborB, 2017-08-17
  • Re: [Merge] lp:~widelands-dev/widelands/ai_training_switch into lp:widelands
    From: GunChleoc, 2017-08-17
  • [Merge] lp:~widelands-dev/widelands/ai_training_switch into lp:widelands
    From: bunnybot, 2017-08-18
  • [Merge] lp:~widelands-dev/widelands/ai_training_switch into lp:widelands
    From: noreply, 2017-08-18
• [Merge] lp:~widelands-dev/widelands/toggle_immovables into lp:widelands
  From: SirVer, 2017-08-14
• Re: [Merge] lp:~widelands-dev/widelands/toggle_immovables into lp:widelands
  From: toptopple, 2017-08-14
• [Merge] lp:~widelands-dev/widelands/toggle_immovables into lp:widelands
  From: bunnybot, 2017-08-14
• [Merge] lp:~widelands-dev/widelands/toggle_immovables into lp:widelands
  From: bunnybot, 2017-08-14
• Re: [Merge] lp:~widelands-dev/widelands/toggle_immovables into lp:widelands
  From: GunChleoc, 2017-08-15
• [Merge] lp:~widelands-dev/widelands/toggle_immovables into lp:widelands
  From: SirVer, 2017-08-15
• Re: [Merge] lp:~widelands-dev/widelands/toggle_immovables into lp:widelands
  From: SirVer, 2017-08-15
• Re: [Merge] lp:~widelands-dev/widelands/toggle_immovables into lp:widelands
  From: kaputtnik, 2017-08-15
• Re: [Merge] lp:~widelands-dev/widelands/toggle_immovables into lp:widelands
  From: kaputtnik, 2017-08-15
• Re: [Merge] lp:~widelands-dev/widelands/toggle_immovables into lp:widelands
  From: SirVer, 2017-08-15
• Re: [Merge] lp:~widelands-dev/widelands/toggle_immovables into lp:widelands
  From: kaputtnik, 2017-08-15
• Re: [Merge] lp:~widelands-dev/widelands/toggle_immovables into lp:widelands
  From: GunChleoc, 2017-08-16
• Re: [Merge] lp:~widelands-dev/widelands/toggle_immovables into lp:widelands
  From: GunChleoc, 2017-08-16
• [Merge] lp:~widelands-dev/widelands/toggle_immovables into lp:widelands
  From: GunChleoc, 2017-08-16
• [Merge] lp:~widelands-dev/widelands/toggle_immovables into lp:widelands
  From: noreply, 2017-08-16
• [Merge] lp:~widelands-dev/widelands/toggle_resources into lp:widelands
  From: SirVer, 2017-08-13
• Re: [Merge] lp:~widelands-dev/widelands/toggle_resources into lp:widelands
  From: SirVer, 2017-08-13
• Re: [Merge] lp:~widelands-dev/widelands/toggle_resources into lp:widelands
  From: SirVer, 2017-08-13
• [Merge] lp:~widelands-dev/widelands/toggle_resources into lp:widelands
  From: bunnybot, 2017-08-14
• Re: [Merge] lp:~widelands-dev/widelands/toggle_resources into lp:widelands
  From: toptopple, 2017-08-14
• Re: [Merge] lp:~widelands-dev/widelands/toggle_resources into lp:widelands
  From: SirVer, 2017-08-14
• Re: [Merge] lp:~widelands-dev/widelands/toggle_resources into lp:widelands
  From: toptopple, 2017-08-14
• Re: [Merge] lp:~widelands-dev/widelands/toggle_resources into lp:widelands
  From: SirVer, 2017-08-14
• Re: [Merge] lp:~widelands-dev/widelands/toggle_resources into lp:widelands
  From: SirVer, 2017-08-14
• Re: [Merge] lp:~widelands-dev/widelands/toggle_resources into lp:widelands
  From: toptopple, 2017-08-14
• Re: [Merge] lp:~widelands-dev/widelands/toggle_resources into lp:widelands
  From: SirVer, 2017-08-14
• Re: [Merge] lp:~widelands-dev/widelands/toggle_resources into lp:widelands
  From: GunChleoc, 2017-08-15
• Re: [Merge] lp:~widelands-dev/widelands/toggle_resources into lp:widelands
  From: GunChleoc, 2017-08-15
• Re: [Merge] lp:~widelands-dev/widelands/toggle_resources into lp:widelands
  From: SirVer, 2017-08-15
• Re: [Merge] lp:~widelands-dev/widelands/toggle_resources into lp:widelands
  From: SirVer, 2017-08-15
• Re: [Merge] lp:~widelands-dev/widelands/toggle_resources into lp:widelands
  From: GunChleoc, 2017-08-15
• [Merge] lp:~widelands-dev/widelands/toggle_resources into lp:widelands
  From: noreply, 2017-08-15
• [Merge] lp:~widelands-dev/widelands/buildhelp_overlay into lp:widelands
  From: SirVer, 2017-08-13
• [Merge] lp:~widelands-dev/widelands/buildhelp_overlay into lp:widelands
  From: bunnybot, 2017-08-13
• Re: [Merge] lp:~widelands-dev/widelands/buildhelp_overlay into lp:widelands
  From: GunChleoc, 2017-08-14
• Re: [Merge] lp:~widelands-dev/widelands/buildhelp_overlay into lp:widelands
  From: GunChleoc, 2017-08-14
• Re: [Merge] lp:~widelands-dev/widelands/buildhelp_overlay into lp:widelands
  From: SirVer, 2017-08-14
• Re: [Merge] lp:~widelands-dev/widelands/buildhelp_overlay into lp:widelands
  From: SirVer, 2017-08-14
• Re: [Merge] lp:~widelands-dev/widelands/buildhelp_overlay into lp:widelands
  From: GunChleoc, 2017-08-15
• [Merge] lp:~widelands-dev/widelands/buildhelp_overlay into lp:widelands
  From: noreply, 2017-08-15
• [Merge] lp:~widelands-dev/widelands/kill_edge_overlay into lp:widelands
  From: SirVer, 2017-08-12
• Re: [Merge] lp:~widelands-dev/widelands/kill_edge_overlay into lp:widelands
  From: GunChleoc, 2017-08-12
• Re: [Merge] lp:~widelands-dev/widelands/kill_edge_overlay into lp:widelands
  From: GunChleoc, 2017-08-12
• Re: [Merge] lp:~widelands-dev/widelands/kill_edge_overlay into lp:widelands
  From: GunChleoc, 2017-08-12
• [Merge] lp:~widelands-dev/widelands/kill_edge_overlay into lp:widelands
  From: bunnybot, 2017-08-12
• [Merge] lp:~widelands-dev/widelands/kill_edge_overlay into lp:widelands
  From: noreply, 2017-08-12
• [Merge] lp:~widelands-dev/widelands/bug-986611-cppcheck-minimal into lp:widelands
  From: GunChleoc, 2017-08-11
• [Merge] lp:~widelands-dev/widelands/bug-986611-cppcheck-minimal into lp:widelands
  From: bunnybot, 2017-08-11
• Re: [Merge] lp:~widelands-dev/widelands/bug-986611-cppcheck-minimal into lp:widelands
  From: Klaus Halfmann, 2017-08-12
• Re: [Merge] lp:~widelands-dev/widelands/bug-986611-cppcheck-minimal into lp:widelands
  From: GunChleoc, 2017-08-12
• Re: [Merge] lp:~widelands-dev/widelands/bug-986611-cppcheck-minimal into lp:widelands
  From: Klaus Halfmann, 2017-08-12
• [Merge] lp:~widelands-dev/widelands/bug-986611-cppcheck-minimal into lp:widelands
  From: noreply, 2017-08-12
• Re: [Merge] lp:~widelands-dev/widelands/test_merge into lp:widelands
  From: SirVer, 2017-08-06
• [Merge] lp:~widelands-dev/widelands/test_merge into lp:widelands
  From: SirVer, 2017-08-06
• [Merge] lp:~widelands-dev/widelands/test_merge into lp:widelands
  From: SirVer, 2017-08-06
• [Merge] lp:~widelands-dev/widelands/test_merge into lp:widelands
  From: SirVer, 2017-08-07
• [Merge] lp:~widelands-dev/widelands/test_merge into lp:widelands
  From: bunnybot, 2017-08-07
• Re: [Merge] lp:~widelands-dev/widelands/test_merge into lp:widelands
  From: SirVer, 2017-08-07
• [Merge] lp:~widelands-dev/widelands/test_merge into lp:widelands
  From: bunnybot, 2017-08-07
• [Merge] lp:~widelands-dev/widelands/test_merge into lp:widelands
  From: bunnybot, 2017-08-07
• [Merge] lp:~widelands-dev/widelands/test_merge into lp:widelands
  From: SirVer, 2017-08-07
• [Merge] lp:~widelands-dev/widelands/test_merge into lp:widelands
  From: bunnybot, 2017-08-07
• [Merge] lp:~widelands-dev/widelands/ai_cmakelist into lp:widelands
  From: TiborB, 2017-08-05
• [Merge] lp:~widelands-dev/widelands/ai_cmakelist into lp:widelands
  From: TiborB, 2017-08-05
• Re: [Merge] lp:~widelands-dev/widelands/ai_cmakelist into lp:widelands
  From: Klaus Halfmann, 2017-08-05
• [Merge] lp:~widelands-dev/widelands/ai_cmakelist into lp:widelands
  From: bunnybot, 2017-08-05
• Re: [Merge] lp:~widelands-dev/widelands/ai_cmakelist into lp:widelands
  From: Klaus Halfmann, 2017-08-06
• Re: [Merge] lp:~widelands-dev/widelands/ai_cmakelist into lp:widelands
  From: Klaus Halfmann, 2017-08-06
• Re: [Merge] lp:~widelands-dev/widelands/ai_cmakelist into lp:widelands
  From: Klaus Halfmann, 2017-08-06
• Re: [Merge] lp:~widelands-dev/widelands/ai_cmakelist into lp:widelands
  From: Klaus Halfmann, 2017-08-06
• Re: [Merge] lp:~widelands-dev/widelands/ai_cmakelist into lp:widelands
  From: TiborB, 2017-08-06
• Re: [Merge] lp:~widelands-dev/widelands/ai_cmakelist into lp:widelands
  From: kaputtnik, 2017-08-06
• Re: [Merge] lp:~widelands-dev/widelands/ai_cmakelist into lp:widelands
  From: Tino, 2017-08-06
• Re: [Merge] lp:~widelands-dev/widelands/ai_cmakelist into lp:widelands
  From: kaputtnik, 2017-08-06
• Re: [Merge] lp:~widelands-dev/widelands/ai_cmakelist into lp:widelands
  From: TiborB, 2017-08-06
• Re: [Merge] lp:~widelands-dev/widelands/ai_cmakelist into lp:widelands
  From: GunChleoc, 2017-08-08
• [Merge] lp:~widelands-dev/widelands/ai_cmakelist into lp:widelands
  From: noreply, 2017-08-08
• Re: [Merge] lp:~widelands-dev/widelands/ai_cmakelist into lp:widelands
  From: GunChleoc, 2017-08-09
• [Merge] lp:~widelands-dev/widelands/remove-dedicated-server-doc into lp:widelands
  From: GunChleoc, 2017-08-01
• [Merge] lp:~widelands-dev/widelands/remove-dedicated-server-doc into lp:widelands
  From: bunnybot, 2017-08-01
• Re: [Merge] lp:~widelands-dev/widelands/remove-dedicated-server-doc into lp:widelands
  From: Klaus Halfmann, 2017-08-01
• [Merge] lp:~widelands-dev/widelands/remove-dedicated-server-doc into lp:widelands
  From: noreply, 2017-08-01
• Re: [Merge] lp:~widelands-dev/widelands/remove-dedicated-server-doc into lp:widelands
  From: GunChleoc, 2017-08-09
• [Merge] lp:~widelands-dev/widelands/bug-1705771 into lp:widelands
  From: TiborB, 2017-07-26
• Re: [Merge] lp:~widelands-dev/widelands/bug-1705771 into lp:widelands
  From: kaputtnik, 2017-07-27
• Re: [Merge] lp:~widelands-dev/widelands/bug-1705771 into lp:widelands
  From: TiborB, 2017-07-27
• Re: [Merge] lp:~widelands-dev/widelands/bug-1705771 into lp:widelands
  From: SirVer, 2017-07-27
• Re: [Merge] lp:~widelands-dev/widelands/bug-1705771 into lp:widelands
  From: GunChleoc, 2017-07-27
• Re: [Merge] lp:~widelands-dev/widelands/bug-1705771 into lp:widelands
  From: TiborB, 2017-07-27
• Re: [Merge] lp:~widelands-dev/widelands/bug-1705771 into lp:widelands
  From: TiborB, 2017-07-28
• Re: [Merge] lp:~widelands-dev/widelands/bug-1705771 into lp:widelands
  From: kaputtnik, 2017-07-28
• Re: [Merge] lp:~widelands-dev/widelands/bug-1705771 into lp:widelands
  From: TiborB, 2017-07-28
• Re: [Merge] lp:~widelands-dev/widelands/bug-1705771 into lp:widelands
  From: SirVer, 2017-07-28
• Re: [Merge] lp:~widelands-dev/widelands/bug-1705771 into lp:widelands
  From: SirVer, 2017-07-28
• [Merge] lp:~widelands-dev/widelands/bug-1705771 into lp:widelands
  From: noreply, 2017-07-28
• Re: [Merge] lp:~widelands-dev/widelands/bug-1705771 into lp:widelands
  From: kaputtnik, 2017-07-28
• [Merge] lp:~widelands-dev/widelands/doc_type_name into lp:widelands
  From: GunChleoc, 2017-07-25
• Re: [Merge] lp:~widelands-dev/widelands/doc_type_name into lp:widelands
  From: kaputtnik, 2017-07-25
• Re: [Merge] lp:~widelands-dev/widelands/doc_type_name into lp:widelands
  From: GunChleoc, 2017-07-25
• Re: [Merge] lp:~widelands-dev/widelands/doc_type_name into lp:widelands
  From: Klaus Halfmann, 2017-07-25
• Re: [Merge] lp:~widelands-dev/widelands/doc_type_name into lp:widelands
  From: GunChleoc, 2017-07-25
• Re: [Merge] lp:~widelands-dev/widelands/doc_type_name into lp:widelands
  From: Klaus Halfmann, 2017-07-25
• Re: [Merge] lp:~widelands-dev/widelands/doc_type_name into lp:widelands
  From: kaputtnik, 2017-07-25
• [Merge] lp:~widelands-dev/widelands/doc_type_name into lp:widelands
  From: bunnybot, 2017-07-25
• Re: [Merge] lp:~widelands-dev/widelands/doc_type_name into lp:widelands
  From: GunChleoc, 2017-07-27
• Re: [Merge] lp:~widelands-dev/widelands/doc_type_name into lp:widelands
  From: kaputtnik, 2017-07-28
• Re: [Merge] lp:~widelands-dev/widelands/doc_type_name into lp:widelands
  From: GunChleoc, 2017-07-30
• [Merge] lp:~widelands-dev/widelands/doc_type_name into lp:widelands
  From: GunChleoc, 2017-07-30
• Re: [Merge] lp:~widelands-dev/widelands/doc_type_name into lp:widelands
  From: GunChleoc, 2017-07-30
• Re: [Merge] lp:~widelands-dev/widelands/doc_type_name into lp:widelands
  From: kaputtnik, 2017-07-30
• [Merge] lp:~widelands-dev/widelands/doc_type_name into lp:widelands
  From: bunnybot, 2017-07-31
• Re: [Merge] lp:~widelands-dev/widelands/doc_type_name into lp:widelands
  From: GunChleoc, 2017-07-31
• [Merge] lp:~widelands-dev/widelands/doc_type_name into lp:widelands
  From: bunnybot, 2017-07-31
• Re: [Merge] lp:~widelands-dev/widelands/doc_type_name into lp:widelands
  From: kaputtnik, 2017-07-31
• Re: [Merge] lp:~widelands-dev/widelands/doc_type_name into lp:widelands
  From: GunChleoc, 2017-08-01
• Re: [Merge] lp:~widelands-dev/widelands/doc_type_name into lp:widelands
  From: kaputtnik, 2017-08-01
• [Merge] lp:~widelands-dev/widelands/doc_type_name into lp:widelands
  From: bunnybot, 2017-08-02
• Re: [Merge] lp:~widelands-dev/widelands/doc_type_name into lp:widelands
  From: GunChleoc, 2017-08-03
• Re: [Merge] lp:~widelands-dev/widelands/doc_type_name into lp:widelands
  From: kaputtnik, 2017-08-03
• [Merge] lp:~widelands-dev/widelands/doc_type_name into lp:widelands
  From: SirVer, 2017-08-04
• Re: [Merge] lp:~widelands-dev/widelands/doc_type_name into lp:widelands
  From: SirVer, 2017-08-04
• Re: [Merge] lp:~widelands-dev/widelands/doc_type_name into lp:widelands
  From: GunChleoc, 2017-08-09
• [Merge] lp:~widelands-dev/widelands/doc_type_name into lp:widelands
  From: noreply, 2017-08-09
• [Merge] lp:~widelands-dev/widelands/ai_dna_dump into lp:widelands
  From: TiborB, 2017-07-24
• [Merge] lp:~widelands-dev/widelands/ai_dna_dump into lp:widelands
  From: bunnybot, 2017-07-25
• Re: [Merge] lp:~widelands-dev/widelands/ai_dna_dump into lp:widelands
  From: GunChleoc, 2017-07-25
• Re: [Merge] lp:~widelands-dev/widelands/ai_dna_dump into lp:widelands
  From: TiborB, 2017-07-25
• Re: [Merge] lp:~widelands-dev/widelands/ai_dna_dump into lp:widelands
  From: GunChleoc, 2017-07-27
• Re: [Merge] lp:~widelands-dev/widelands/ai_dna_dump into lp:widelands
  From: TiborB, 2017-07-27
• Re: [Merge] lp:~widelands-dev/widelands/ai_dna_dump into lp:widelands
  From: TiborB, 2017-07-28
• Re: [Merge] lp:~widelands-dev/widelands/ai_dna_dump into lp:widelands
  From: GunChleoc, 2017-07-30
• [Merge] lp:~widelands-dev/widelands/ai_dna_dump into lp:widelands
  From: bunnybot, 2017-07-30
• Re: [Merge] lp:~widelands-dev/widelands/ai_dna_dump into lp:widelands
  From: TiborB, 2017-07-31
• Re: [Merge] lp:~widelands-dev/widelands/ai_dna_dump into lp:widelands
  From: GunChleoc, 2017-08-01
• [Merge] lp:~widelands-dev/widelands/ai_dna_dump into lp:widelands
  From: TiborB, 2017-08-01
• Re: [Merge] lp:~widelands-dev/widelands/ai_dna_dump into lp:widelands
  From: TiborB, 2017-08-01
• [Merge] lp:~widelands-dev/widelands/ai_dna_dump into lp:widelands
  From: GunChleoc, 2017-08-01
• Re: [Merge] lp:~widelands-dev/widelands/ai_dna_dump into lp:widelands
  From: GunChleoc, 2017-08-01
• [Merge] lp:~widelands-dev/widelands/ai_dna_dump into lp:widelands
  From: noreply, 2017-08-01
• [Merge] lp:~widelands-dev/widelands/unreceived-packets into lp:widelands
  From: Notabilis, 2017-07-22
• [Merge] lp:~widelands-dev/widelands/unreceived-packets into lp:widelands
  From: bunnybot, 2017-07-22
• [Merge] lp:~widelands-dev/widelands/unreceived-packets into lp:widelands
  From: bunnybot, 2017-07-23
• Re: [Merge] lp:~widelands-dev/widelands/unreceived-packets into lp:widelands
  From: GunChleoc, 2017-07-23
• Re: [Merge] lp:~widelands-dev/widelands/unreceived-packets into lp:widelands
  From: Klaus Halfmann, 2017-07-23
• Re: [Merge] lp:~widelands-dev/widelands/unreceived-packets into lp:widelands
  From: GunChleoc, 2017-07-23
• Re: [Merge] lp:~widelands-dev/widelands/unreceived-packets into lp:widelands
  From: Klaus Halfmann, 2017-07-24
• [Merge] lp:~widelands-dev/widelands/unreceived-packets into lp:widelands
  From: noreply, 2017-07-24
• Re: [Merge] lp:~widelands-dev/widelands/unreceived-packets into lp:widelands
  From: GunChleoc, 2017-07-24
• [Merge] lp:~widelands-dev/widelands/bug-1704449-net-assert into lp:widelands
  From: Notabilis, 2017-07-22
• Re: [Merge] lp:~widelands-dev/widelands/bug-1704449-net-assert into lp:widelands
  From: Klaus Halfmann, 2017-07-22
• Re: [Merge] lp:~widelands-dev/widelands/bug-1704449-net-assert into lp:widelands
  From: Notabilis, 2017-07-22
• [Merge] lp:~widelands-dev/widelands/bug-1704449-net-assert into lp:widelands
  From: bunnybot, 2017-07-23
• Re: [Merge] lp:~widelands-dev/widelands/bug-1704449-net-assert into lp:widelands
  From: GunChleoc, 2017-07-23
• [Merge] lp:~widelands-dev/widelands/bug-1704449-net-assert into lp:widelands
  From: noreply, 2017-07-23
• [Merge] lp:~widelands-dev/widelands-website/fix_wares_for_encyclopedia into lp:widelands-website
  From: kaputtnik, 2017-07-19
• Re: [Merge] lp:~widelands-dev/widelands-website/fix_wares_for_encyclopedia into lp:widelands-website
  From: GunChleoc, 2017-07-20
• Re: [Merge] lp:~widelands-dev/widelands-website/fix_wares_for_encyclopedia into lp:widelands-website
  From: kaputtnik, 2017-07-20
• Re: [Merge] lp:~widelands-dev/widelands-website/fix_wares_for_encyclopedia into lp:widelands-website
  From: GunChleoc, 2017-07-21
• Re: [Merge] lp:~widelands-dev/widelands-website/fix_wares_for_encyclopedia into lp:widelands-website
  From: kaputtnik, 2017-07-21
• [Merge] lp:~widelands-dev/widelands-website/fix_wares_for_encyclopedia into lp:widelands-website
  From: noreply, 2017-07-21
• Re: [Merge] lp:~widelands-dev/widelands-website/fix_wares_for_encyclopedia into lp:widelands-website
  From: kaputtnik, 2017-07-21
• [Merge] lp:~widelands-dev/widelands/travis-container into lp:widelands
  From: Hans Joachim Desserud, 2017-07-16
• [Merge] lp:~widelands-dev/widelands/travis-container into lp:widelands
  From: bunnybot, 2017-07-17
• [Merge] lp:~widelands-dev/widelands/travis-container into lp:widelands
  From: Hans Joachim Desserud, 2017-07-17
• Re: [Merge] lp:~widelands-dev/widelands/travis-container into lp:widelands
  From: Hans Joachim Desserud, 2017-07-17
• Re: [Merge] lp:~widelands-dev/widelands/travis-container into lp:widelands
  From: GunChleoc, 2017-07-18
• Re: [Merge] lp:~widelands-dev/widelands/travis-container into lp:widelands
  From: Hans Joachim Desserud, 2017-07-22
• Re: [Merge] lp:~widelands-dev/widelands/travis-container into lp:widelands
  From: GunChleoc, 2017-07-23
• Re: [Merge] lp:~widelands-dev/widelands/travis-container into lp:widelands
  From: Hans Joachim Desserud, 2017-07-23
• [Merge] lp:~widelands-dev/widelands/travis-container into lp:widelands
  From: Hans Joachim Desserud, 2017-07-23
• Re: [Merge] lp:~widelands-dev/widelands/travis-container into lp:widelands
  From: Hans Joachim Desserud, 2017-07-23
• [Merge] lp:~widelands-dev/widelands/travis-container into lp:widelands
  From: noreply, 2017-07-23

 •  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