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/reduce_overlay_manager_use2 into lp:widelands, (continued)
  • [Merge] lp:~widelands-dev/widelands/reduce_overlay_manager_use2 into lp:widelands
    From: noreply, 2017-09-10
• [Merge] lp:~widelands-dev/widelands/fix_drag_and_drop_in_editor into lp:widelands
  From: SirVer, 2017-09-01
• [Merge] lp:~widelands-dev/widelands/fix_drag_and_drop_in_editor into lp:widelands
  From: bunnybot, 2017-09-01
• [Merge] lp:~widelands-dev/widelands/fix_drag_and_drop_in_editor into lp:widelands
  From: bunnybot, 2017-09-02
• Re: [Merge] lp:~widelands-dev/widelands/fix_drag_and_drop_in_editor into lp:widelands
  From: kaputtnik, 2017-09-02
• Re: [Merge] lp:~widelands-dev/widelands/fix_drag_and_drop_in_editor into lp:widelands
  From: GunChleoc, 2017-09-02
• Re: [Merge] lp:~widelands-dev/widelands/fix_drag_and_drop_in_editor into lp:widelands
  From: SirVer, 2017-09-02
• [Merge] lp:~widelands-dev/widelands/fix_drag_and_drop_in_editor into lp:widelands
  From: noreply, 2017-09-02
• [Merge] lp:~widelands-dev/widelands/simplify_coords into lp:widelands
  From: SirVer, 2017-09-01
• [Merge] lp:~widelands-dev/widelands/simplify_coords into lp:widelands
  From: SirVer, 2017-09-01
• <Possible follow-ups>
• [Merge] lp:~widelands-dev/widelands/simplify_coords into lp:widelands
  From: SirVer, 2017-09-01
• Re: [Merge] lp:~widelands-dev/widelands/simplify_coords into lp:widelands
  From: SirVer, 2017-09-01
• [Merge] lp:~widelands-dev/widelands/simplify_coords into lp:widelands
  From: SirVer, 2017-09-01
• [Merge] lp:~widelands-dev/widelands/simplify_coords into lp:widelands
  From: SirVer, 2017-09-02
• [Merge] lp:~widelands-dev/widelands/simplify_coords into lp:widelands
  From: bunnybot, 2017-09-03
• Re: [Merge] lp:~widelands-dev/widelands/simplify_coords into lp:widelands
  From: GunChleoc, 2017-09-03
• [Merge] lp:~widelands-dev/widelands/simplify_coords into lp:widelands
  From: noreply, 2017-09-03
• [Merge] lp:~widelands-dev/widelands/flatten_map_object_descr into lp:widelands
  From: SirVer, 2017-08-31
• Re: [Merge] lp:~widelands-dev/widelands/flatten_map_object_descr into lp:widelands
  From: SirVer, 2017-08-31
• [Merge] lp:~widelands-dev/widelands/flatten_map_object_descr into lp:widelands
  From: bunnybot, 2017-09-01
• Re: [Merge] lp:~widelands-dev/widelands/flatten_map_object_descr into lp:widelands
  From: GunChleoc, 2017-09-02
• Re: [Merge] lp:~widelands-dev/widelands/flatten_map_object_descr into lp:widelands
  From: SirVer, 2017-09-02
• Re: [Merge] lp:~widelands-dev/widelands/flatten_map_object_descr into lp:widelands
  From: GunChleoc, 2017-09-02
• [Merge] lp:~widelands-dev/widelands/flatten_map_object_descr into lp:widelands
  From: noreply, 2017-09-02
• [Merge] lp:~widelands-dev/widelands/document_world into lp:widelands
  From: GunChleoc, 2017-08-30
• [Merge] lp:~widelands-dev/widelands/document_world into lp:widelands
  From: bunnybot, 2017-08-31
• Re: [Merge] lp:~widelands-dev/widelands/document_world into lp:widelands
  From: kaputtnik, 2017-09-01
• Re: [Merge] lp:~widelands-dev/widelands/document_world into lp:widelands
  From: kaputtnik, 2017-09-02
• Re: [Merge] lp:~widelands-dev/widelands/document_world into lp:widelands
  From: GunChleoc, 2017-09-02
• Re: [Merge] lp:~widelands-dev/widelands/document_world into lp:widelands
  From: kaputtnik, 2017-09-03
• Re: [Merge] lp:~widelands-dev/widelands/document_world into lp:widelands
  From: GunChleoc, 2017-09-03
• Re: [Merge] lp:~widelands-dev/widelands/document_world into lp:widelands
  From: kaputtnik, 2017-09-03
• Re: [Merge] lp:~widelands-dev/widelands/document_world into lp:widelands
  From: GunChleoc, 2017-09-07
• [Merge] lp:~widelands-dev/widelands/document_world into lp:widelands
  From: noreply, 2017-09-07
• [Merge] lp:~widelands-dev/widelands/move_out_triangle_index into lp:widelands
  From: SirVer, 2017-08-30
• Re: [Merge] lp:~widelands-dev/widelands/move_out_triangle_index into lp:widelands
  From: GunChleoc, 2017-08-30
• [Merge] lp:~widelands-dev/widelands/move_out_triangle_index into lp:widelands
  From: bunnybot, 2017-08-31
• [Merge] lp:~widelands-dev/widelands/move_out_triangle_index into lp:widelands
  From: noreply, 2017-08-31
• [Merge] lp:~widelands-dev/widelands/remove_reference_player_tribe into lp:widelands
  From: GunChleoc, 2017-08-30
• Re: [Merge] lp:~widelands-dev/widelands/remove_reference_player_tribe into lp:widelands
  From: SirVer, 2017-08-30
• [Merge] lp:~widelands-dev/widelands/remove_reference_player_tribe into lp:widelands
  From: bunnybot, 2017-08-30
• [Merge] lp:~widelands-dev/widelands/remove_reference_player_tribe into lp:widelands
  From: bunnybot, 2017-08-30
• [Merge] lp:~widelands-dev/widelands/remove_reference_player_tribe into lp:widelands
  From: bunnybot, 2017-08-30
• Re: [Merge] lp:~widelands-dev/widelands/remove_reference_player_tribe into lp:widelands
  From: SirVer, 2017-08-30
• [Merge] lp:~widelands-dev/widelands/remove_reference_player_tribe into lp:widelands
  From: bunnybot, 2017-08-30
• [Merge] lp:~widelands-dev/widelands/remove_reference_player_tribe into lp:widelands
  From: bunnybot, 2017-08-30
• [Merge] lp:~widelands-dev/widelands/remove_reference_player_tribe into lp:widelands
  From: bunnybot, 2017-08-30
• Re: [Merge] lp:~widelands-dev/widelands/remove_reference_player_tribe into lp:widelands
  From: SirVer, 2017-08-30
• [Merge] lp:~widelands-dev/widelands/remove_reference_player_tribe into lp:widelands
  From: bunnybot, 2017-08-30
• Re: [Merge] lp:~widelands-dev/widelands/remove_reference_player_tribe into lp:widelands
  From: SirVer, 2017-08-30
• Re: [Merge] lp:~widelands-dev/widelands/remove_reference_player_tribe into lp:widelands
  From: GunChleoc, 2017-08-31
• [Merge] lp:~widelands-dev/widelands/remove_reference_player_tribe into lp:widelands
  From: noreply, 2017-09-01
• [Merge] lp:~widelands-dev/widelands/reduce_overlay_manager_use into lp:widelands
  From: SirVer, 2017-08-29
• [Merge] lp:~widelands-dev/widelands/reduce_overlay_manager_use into lp:widelands
  From: bunnybot, 2017-08-29
• Re: [Merge] lp:~widelands-dev/widelands/reduce_overlay_manager_use into lp:widelands
  From: GunChleoc, 2017-08-30
• Re: [Merge] lp:~widelands-dev/widelands/reduce_overlay_manager_use into lp:widelands
  From: GunChleoc, 2017-08-30
• [Merge] lp:~widelands-dev/widelands/reduce_overlay_manager_use into lp:widelands
  From: noreply, 2017-08-30
• Re: [Merge] lp:~widelands-dev/widelands/document_worker_program into lp:widelands
  From: GunChleoc, 2017-08-28
• [Merge] lp:~widelands-dev/widelands/document_worker_program into lp:widelands
  From: GunChleoc, 2017-08-28
• Re: [Merge] lp:~widelands-dev/widelands/document_worker_program into lp:widelands
  From: kaputtnik, 2017-08-28
• Re: [Merge] lp:~widelands-dev/widelands/document_worker_program into lp:widelands
  From: GunChleoc, 2017-08-28
• [Merge] lp:~widelands-dev/widelands/document_worker_program into lp:widelands
  From: bunnybot, 2017-08-28
• Re: [Merge] lp:~widelands-dev/widelands/document_worker_program into lp:widelands
  From: kaputtnik, 2017-08-29
• Re: [Merge] lp:~widelands-dev/widelands/document_worker_program into lp:widelands
  From: kaputtnik, 2017-08-29
• Re: [Merge] lp:~widelands-dev/widelands/document_worker_program into lp:widelands
  From: GunChleoc, 2017-08-30
• Re: [Merge] lp:~widelands-dev/widelands/document_worker_program into lp:widelands
  From: kaputtnik, 2017-08-30
• Re: [Merge] lp:~widelands-dev/widelands/document_worker_program into lp:widelands
  From: GunChleoc, 2017-08-30
• Re: [Merge] lp:~widelands-dev/widelands/document_worker_program into lp:widelands
  From: kaputtnik, 2017-08-30
• Re: [Merge] lp:~widelands-dev/widelands/document_worker_program into lp:widelands
  From: GunChleoc, 2017-08-30
• [Merge] lp:~widelands-dev/widelands/document_worker_program into lp:widelands
  From: noreply, 2017-08-31
• [Merge] lp:~widelands-dev/widelands/fields_to_draw into lp:widelands
  From: SirVer, 2017-08-28
• [Merge] lp:~widelands-dev/widelands/fields_to_draw into lp:widelands
  From: SirVer, 2017-08-28
• [Merge] lp:~widelands-dev/widelands/fields_to_draw into lp:widelands
  From: bunnybot, 2017-08-28
• [Merge] lp:~widelands-dev/widelands/fields_to_draw into lp:widelands
  From: bunnybot, 2017-08-28
• Re: [Merge] lp:~widelands-dev/widelands/fields_to_draw into lp:widelands
  From: GunChleoc, 2017-08-29
• Re: [Merge] lp:~widelands-dev/widelands/fields_to_draw into lp:widelands
  From: SirVer, 2017-08-29
• [Merge] lp:~widelands-dev/widelands/fields_to_draw into lp:widelands
  From: noreply, 2017-08-29
• [Merge] lp:~widelands-dev/widelands/document_worker_program into lp:widelands
  From: GunChleoc, 2017-08-27
• [Merge] lp:~widelands-dev/widelands/document_worker_program into lp:widelands
  From: bunnybot, 2017-08-28
• Re: [Merge] lp:~widelands-dev/widelands/document_worker_program into lp:widelands
  From: kaputtnik, 2017-08-28
• Re: [Merge] lp:~widelands-dev/widelands/document_worker_program into lp:widelands
  From: kaputtnik, 2017-08-28
• Re: [Merge] lp:~widelands-dev/widelands/document_worker_program into lp:widelands
  From: GunChleoc, 2017-08-28
• [Merge] lp:~widelands-dev/widelands/document_worker_program into lp:widelands
  From: GunChleoc, 2017-08-28
• [Merge] lp:~widelands-dev/widelands/pass_through_infos into lp:widelands
  From: SirVer, 2017-08-27
• [Merge] lp:~widelands-dev/widelands/pass_through_infos into lp:widelands
  From: SirVer, 2017-08-27
• [Merge] lp:~widelands-dev/widelands/pass_through_infos into lp:widelands
  From: SirVer, 2017-08-27
• [Merge] lp:~widelands-dev/widelands/pass_through_infos into lp:widelands
  From: SirVer, 2017-08-27
• Re: [Merge] lp:~widelands-dev/widelands/pass_through_infos into lp:widelands
  From: GunChleoc, 2017-08-27
• [Merge] lp:~widelands-dev/widelands/pass_through_infos into lp:widelands
  From: bunnybot, 2017-08-27
• Re: [Merge] lp:~widelands-dev/widelands/pass_through_infos into lp:widelands
  From: SirVer, 2017-08-28
• [Merge] lp:~widelands-dev/widelands/pass_through_infos into lp:widelands
  From: GunChleoc, 2017-08-28
• [Merge] lp:~widelands-dev/widelands/pass_through_infos into lp:widelands
  From: bunnybot, 2017-08-28
• [Merge] lp:~widelands-dev/widelands/pass_through_infos into lp:widelands
  From: noreply, 2017-08-28
• [Merge] lp:~hjd/widelands/debian-merge into lp:widelands
  From: Hans Joachim Desserud, 2017-08-27
• [Merge] lp:~hjd/widelands/debian-merge into lp:widelands
  From: bunnybot, 2017-08-27
• Re: [Merge] lp:~hjd/widelands/debian-merge into lp:widelands
  From: GunChleoc, 2017-08-27
• [Merge] lp:~hjd/widelands/debian-merge into lp:widelands
  From: bunnybot, 2017-08-29
• [Merge] lp:~widelands-dev/widelands/document_animations into lp:widelands
  From: GunChleoc, 2017-08-27
• Re: [Merge] lp:~widelands-dev/widelands/document_animations into lp:widelands
  From: kaputtnik, 2017-08-27
• [Merge] lp:~widelands-dev/widelands/document_animations into lp:widelands
  From: bunnybot, 2017-08-27
• Re: [Merge] lp:~widelands-dev/widelands/document_animations into lp:widelands
  From: GunChleoc, 2017-08-27
• [Merge] lp:~widelands-dev/widelands/document_animations into lp:widelands
  From: noreply, 2017-08-27
• Re: [Merge] lp:~widelands-dev/widelands/document_animations into lp:widelands
  From: kaputtnik, 2017-08-27
• [Merge] lp:~widelands-dev/widelands/ai_production_hints into lp:widelands
  From: TiborB, 2017-08-25
• [Merge] lp:~widelands-dev/widelands/ai_production_hints into lp:widelands
  From: TiborB, 2017-08-25
• [Merge] lp:~widelands-dev/widelands/ai_production_hints into lp:widelands
  From: bunnybot, 2017-08-25
• Re: [Merge] lp:~widelands-dev/widelands/ai_production_hints into lp:widelands
  From: GunChleoc, 2017-08-26
• [Merge] lp:~widelands-dev/widelands/ai_production_hints into lp:widelands
  From: bunnybot, 2017-08-26
• [Merge] lp:~widelands-dev/widelands/ai_production_hints into lp:widelands
  From: noreply, 2017-08-26
• [Merge] lp:~widelands-dev/widelands-website/pagination into lp:widelands-website
  From: kaputtnik, 2017-08-22
• Re: [Merge] lp:~widelands-dev/widelands-website/pagination into lp:widelands-website
  From: GunChleoc, 2017-08-25
• Re: [Merge] lp:~widelands-dev/widelands-website/pagination into lp:widelands-website
  From: kaputtnik, 2017-08-25
• Re: [Merge] lp:~widelands-dev/widelands-website/pagination into lp:widelands-website
  From: GunChleoc, 2017-08-25
• [Merge] lp:~widelands-dev/widelands-website/pagination into lp:widelands-website
  From: noreply, 2017-08-25
• Re: [Merge] lp:~widelands-dev/widelands-website/pagination into lp:widelands-website
  From: kaputtnik, 2017-08-25
• [Merge] lp:~widelands-dev/widelands/cleanup_map into lp:widelands
  From: SirVer, 2017-08-19
• <Possible follow-ups>
• [Merge] lp:~widelands-dev/widelands/cleanup_map into lp:widelands
  From: SirVer, 2017-08-19
• [Merge] lp:~widelands-dev/widelands/cleanup_map into lp:widelands
  From: bunnybot, 2017-08-20
• Re: [Merge] lp:~widelands-dev/widelands/cleanup_map into lp:widelands
  From: GunChleoc, 2017-08-20
• [Merge] lp:~widelands-dev/widelands/cleanup_map into lp:widelands
  From: bunnybot, 2017-08-20
• Re: [Merge] lp:~widelands-dev/widelands/cleanup_map into lp:widelands
  From: SirVer, 2017-08-20
• [Merge] lp:~widelands-dev/widelands/cleanup_map into lp:widelands
  From: noreply, 2017-08-20
• [Merge] lp:~widelands-dev/widelands/ai_helper_sites into lp:widelands
  From: TiborB, 2017-08-19
• [Merge] lp:~widelands-dev/widelands/ai_helper_sites into lp:widelands
  From: TiborB, 2017-08-19
• [Merge] lp:~widelands-dev/widelands/ai_helper_sites into lp:widelands
  From: bunnybot, 2017-08-20
• Re: [Merge] lp:~widelands-dev/widelands/ai_helper_sites into lp:widelands
  From: GunChleoc, 2017-08-20
• [Merge] lp:~widelands-dev/widelands/ai_helper_sites into lp:widelands
  From: noreply, 2017-08-20
• [Merge] lp:~widelands-dev/widelands/bug-986611-cppcheck-mopup into lp:widelands
  From: GunChleoc, 2017-08-19
• <Possible follow-ups>
• [Merge] lp:~widelands-dev/widelands/bug-986611-cppcheck-mopup into lp:widelands
  From: bunnybot, 2017-08-19
• [Merge] lp:~widelands-dev/widelands/bug-986611-cppcheck-mopup into lp:widelands
  From: bunnybot, 2017-08-19
• [Merge] lp:~widelands-dev/widelands/bug-986611-cppcheck-mopup into lp:widelands
  From: bunnybot, 2017-09-03
• [Merge] lp:~widelands-dev/widelands/bug-986611-cppcheck-mopup into lp:widelands
  From: bunnybot, 2017-09-20
• [Merge] lp:~widelands-dev/widelands/bug-986611-cppcheck-mopup into lp:widelands
  From: noreply, 2017-09-20
• [Merge] lp:~widelands-dev/widelands/ai_trainingsites into lp:widelands
  From: TiborB, 2017-08-18
• [Merge] lp:~widelands-dev/widelands/ai_trainingsites into lp:widelands
  From: TiborB, 2017-08-18
• [Merge] lp:~widelands-dev/widelands/ai_trainingsites into lp:widelands
  From: bunnybot, 2017-08-19
• Re: [Merge] lp:~widelands-dev/widelands/ai_trainingsites into lp:widelands
  From: GunChleoc, 2017-08-19
• [Merge] lp:~widelands-dev/widelands/ai_trainingsites into lp:widelands
  From: bunnybot, 2017-08-19
• [Merge] lp:~widelands-dev/widelands/ai_trainingsites into lp:widelands
  From: noreply, 2017-08-19
• [Merge] lp:~widelands-dev/widelands/cleanup_mapview into lp:widelands
  From: SirVer, 2017-08-17
• [Merge] lp:~widelands-dev/widelands/cleanup_mapview into lp:widelands
  From: SirVer, 2017-08-17
• Re: [Merge] lp:~widelands-dev/widelands/cleanup_mapview into lp:widelands
  From: GunChleoc, 2017-08-17
• Re: [Merge] lp:~widelands-dev/widelands/cleanup_mapview into lp:widelands
  From: GunChleoc, 2017-08-17
• [Merge] lp:~widelands-dev/widelands/cleanup_mapview into lp:widelands
  From: bunnybot, 2017-08-18
• [Merge] lp:~widelands-dev/widelands/cleanup_mapview into lp:widelands
  From: noreply, 2017-08-18
• [Merge] lp:~widelands-dev/widelands/remove_make_infrastructure_tool into lp:widelands
  From: SirVer, 2017-08-17
• Re: [Merge] lp:~widelands-dev/widelands/remove_make_infrastructure_tool into lp:widelands
  From: GunChleoc, 2017-08-17
• Re: [Merge] lp:~widelands-dev/widelands/remove_make_infrastructure_tool into lp:widelands
  From: GunChleoc, 2017-08-17
• [Merge] lp:~widelands-dev/widelands/remove_make_infrastructure_tool into lp:widelands
  From: bunnybot, 2017-08-17
• [Merge] lp:~widelands-dev/widelands/remove_make_infrastructure_tool into lp:widelands
  From: noreply, 2017-08-17
• [Merge] lp:~widelands-dev/widelands/dynamic_tribe_loading into lp:widelands
  From: GunChleoc, 2017-08-17
• [Merge] lp:~widelands-dev/widelands/dynamic_tribe_loading into lp:widelands
  From: GunChleoc, 2017-08-17
• [Merge] lp:~widelands-dev/widelands/dynamic_tribe_loading into lp:widelands
  From: bunnybot, 2017-08-18
• [Merge] lp:~widelands-dev/widelands/dynamic_tribe_loading into lp:widelands
  From: bunnybot, 2017-08-18
• [Merge] lp:~widelands-dev/widelands/dynamic_tribe_loading into lp:widelands
  From: bunnybot, 2017-08-31
• [Merge] lp:~widelands-dev/widelands/dynamic_tribe_loading into lp:widelands
  From: bunnybot, 2017-09-03
• Re: [Merge] lp:~widelands-dev/widelands/dynamic_tribe_loading into lp:widelands
  From: SirVer, 2017-09-20
• Re: [Merge] lp:~widelands-dev/widelands/dynamic_tribe_loading into lp:widelands
  From: GunChleoc, 2017-10-02
• Re: [Merge] lp:~widelands-dev/widelands/dynamic_tribe_loading into lp:widelands
  From: GunChleoc, 2017-11-01
• Re: [Merge] lp:~widelands-dev/widelands/dynamic_tribe_loading into lp:widelands
  From: SirVer, 2017-11-01
• Re: [Merge] lp:~widelands-dev/widelands/dynamic_tribe_loading into lp:widelands
  From: GunChleoc, 2017-11-02
• [Merge] lp:~widelands-dev/widelands/dynamic_tribe_loading into lp:widelands
  From: bunnybot, 2017-11-03
• Re: [Merge] lp:~widelands-dev/widelands/dynamic_tribe_loading into lp:widelands
  From: GunChleoc, 2017-11-03
• [Merge] lp:~widelands-dev/widelands/dynamic_tribe_loading into lp:widelands
  From: bunnybot, 2017-11-04
• Re: [Merge] lp:~widelands-dev/widelands/dynamic_tribe_loading into lp:widelands
  From: SirVer, 2017-11-07
• [Merge] lp:~widelands-dev/widelands/dynamic_tribe_loading into lp:widelands
  From: bunnybot, 2017-11-07
• Re: [Merge] lp:~widelands-dev/widelands/dynamic_tribe_loading into lp:widelands
  From: GunChleoc, 2017-11-08
• [Merge] lp:~widelands-dev/widelands/dynamic_tribe_loading into lp:widelands
  From: bunnybot, 2017-11-08
• Re: [Merge] lp:~widelands-dev/widelands/dynamic_tribe_loading into lp:widelands
  From: GunChleoc, 2017-11-08
• Re: [Merge] lp:~widelands-dev/widelands/dynamic_tribe_loading into lp:widelands
  From: SirVer, 2017-11-08
• Re: [Merge] lp:~widelands-dev/widelands/dynamic_tribe_loading into lp:widelands
  From: GunChleoc, 2017-11-08
• Re: [Merge] lp:~widelands-dev/widelands/dynamic_tribe_loading into lp:widelands
  From: hessenfarmer, 2017-11-16
• Re: [Merge] lp:~widelands-dev/widelands/dynamic_tribe_loading into lp:widelands
  From: GunChleoc, 2017-11-16
• Re: [Merge] lp:~widelands-dev/widelands/dynamic_tribe_loading into lp:widelands
  From: GunChleoc, 2017-11-20
• Re: [Merge] lp:~widelands-dev/widelands/dynamic_tribe_loading into lp:widelands
  From: GunChleoc, 2017-11-21
• [Merge] lp:~widelands-dev/widelands/dynamic_tribe_loading into lp:widelands
  From: GunChleoc, 2017-11-21
• Re: [Merge] lp:~widelands-dev/widelands/dynamic_tribe_loading into lp:widelands
  From: SirVer, 2017-11-22
• Re: [Merge] lp:~widelands-dev/widelands/dynamic_tribe_loading into lp:widelands
  From: GunChleoc, 2017-11-22
• [Merge] lp:~widelands-dev/widelands/bug-986611-cppcheck-uninitialized_variables2 into lp:widelands
  From: GunChleoc, 2017-08-17
• [Merge] lp:~widelands-dev/widelands/bug-986611-cppcheck-uninitialized_variables2 into lp:widelands
  From: bunnybot, 2017-08-17
• Re: [Merge] lp:~widelands-dev/widelands/bug-986611-cppcheck-uninitialized_variables2 into lp:widelands
  From: SirVer, 2017-08-18
• Re: [Merge] lp:~widelands-dev/widelands/bug-986611-cppcheck-uninitialized_variables2 into lp:widelands
  From: SirVer, 2017-08-19
• Re: [Merge] lp:~widelands-dev/widelands/bug-986611-cppcheck-uninitialized_variables2 into lp:widelands
  From: GunChleoc, 2017-08-19
• [Merge] lp:~widelands-dev/widelands/bug-986611-cppcheck-uninitialized_variables2 into lp:widelands
  From: noreply, 2017-08-19
• [Merge] lp:~widelands-dev/widelands/compiler_warnings_mac into lp:widelands
  From: GunChleoc, 2017-08-16
• [Merge] lp:~widelands-dev/widelands/compiler_warnings_mac into lp:widelands
  From: bunnybot, 2017-08-16
• [Merge] lp:~widelands-dev/widelands/compiler_warnings_mac into lp:widelands
  From: GunChleoc, 2017-08-17
• [Merge] lp:~widelands-dev/widelands/ai_training_switch into lp:widelands
  From: TiborB, 2017-08-14
• [Merge] lp:~widelands-dev/widelands/ai_training_switch into lp:widelands
  From: bunnybot, 2017-08-15
• Re: [Merge] lp:~widelands-dev/widelands/ai_training_switch into lp:widelands
  From: GunChleoc, 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-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-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: Klaus Halfmann, 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: kaputtnik, 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: kaputtnik, 2017-08-15

 •  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