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-1525706-artifacts into lp:widelands, (continued)
  • [Merge] lp:~widelands-dev/widelands/bug-1525706-artifacts into lp:widelands
    From: bunnybot, 2016-02-22
  • [Merge] lp:~widelands-dev/widelands/bug-1525706-artifacts into lp:widelands
    From: bunnybot, 2016-02-22
  • [Merge] lp:~widelands-dev/widelands/bug-1525706-artifacts into lp:widelands
    From: bunnybot, 2016-02-22
  • [Merge] lp:~widelands-dev/widelands/bug-1525706-artifacts into lp:widelands
    From: bunnybot, 2016-02-24
  • [Merge] lp:~widelands-dev/widelands/bug-1525706-artifacts into lp:widelands
    From: bunnybot, 2016-02-24
  • [Merge] lp:~widelands-dev/widelands/bug-1525706-artifacts into lp:widelands
    From: bunnybot, 2016-02-24
  • [Merge] lp:~widelands-dev/widelands/bug-1525706-artifacts into lp:widelands
    From: bunnybot, 2016-03-01
  • Re: [Merge] lp:~widelands-dev/widelands/bug-1525706-artifacts into lp:widelands
    From: TiborB, 2016-03-05
  • Re: [Merge] lp:~widelands-dev/widelands/bug-1525706-artifacts into lp:widelands
    From: GunChleoc, 2016-03-06
  • [Merge] lp:~widelands-dev/widelands/bug-1525706-artifacts into lp:widelands
    From: bunnybot, 2016-03-06
  • [Merge] lp:~widelands-dev/widelands/bug-1525706-artifacts into lp:widelands
    From: noreply, 2016-03-06
• [Merge] lp:~widelands-dev/widelands/fit_button_text into lp:widelands
  From: GunChleoc, 2016-02-09
• [Merge] lp:~widelands-dev/widelands/fit_button_text into lp:widelands
  From: bunnybot, 2016-02-10
• [Merge] lp:~widelands-dev/widelands/fit_button_text into lp:widelands
  From: bunnybot, 2016-02-12
• [Merge] lp:~widelands-dev/widelands/fit_button_text into lp:widelands
  From: bunnybot, 2016-02-12
• Re: [Merge] lp:~widelands-dev/widelands/fit_button_text into lp:widelands
  From: kaputtnik, 2016-02-12
• Re: [Merge] lp:~widelands-dev/widelands/fit_button_text into lp:widelands
  From: SirVer, 2016-02-13
• [Merge] lp:~widelands-dev/widelands/fit_button_text into lp:widelands
  From: noreply, 2016-02-13
• Re: [Merge] lp:~widelands-dev/widelands/fit_button_text into lp:widelands
  From: GunChleoc, 2016-02-13
• [Merge] lp:~widelands-dev/widelands/bug-1395278-tribes-p-r into lp:widelands
  From: GunChleoc, 2016-02-09
• [Merge] lp:~widelands-dev/widelands/bug-1395278-tribes-p-r into lp:widelands
  From: bunnybot, 2016-02-10
• Re: [Merge] lp:~widelands-dev/widelands/bug-1395278-tribes-p-r into lp:widelands
  From: SirVer, 2016-02-13
• [Merge] lp:~widelands-dev/widelands/bug-1395278-tribes-p-r into lp:widelands
  From: noreply, 2016-02-13
• [Merge] lp:~widelands-dev/widelands/ai_trainingsites_tweaks into lp:widelands
  From: TiborB, 2016-02-09
• Re: [Merge] lp:~widelands-dev/widelands/ai_trainingsites_tweaks into lp:widelands
  From: GunChleoc, 2016-02-09
• Re: [Merge] lp:~widelands-dev/widelands/ai_trainingsites_tweaks into lp:widelands
  From: TiborB, 2016-02-09
• Re: [Merge] lp:~widelands-dev/widelands/ai_trainingsites_tweaks into lp:widelands
  From: GunChleoc, 2016-02-09
• [Merge] lp:~widelands-dev/widelands/ai_trainingsites_tweaks into lp:widelands
  From: bunnybot, 2016-02-09
• Re: [Merge] lp:~widelands-dev/widelands/ai_trainingsites_tweaks into lp:widelands
  From: TiborB, 2016-02-09
• Re: [Merge] lp:~widelands-dev/widelands/ai_trainingsites_tweaks into lp:widelands
  From: GunChleoc, 2016-02-09
• Re: [Merge] lp:~widelands-dev/widelands/ai_trainingsites_tweaks into lp:widelands
  From: TiborB, 2016-02-09
• [Merge] lp:~widelands-dev/widelands/ai_trainingsites_tweaks into lp:widelands
  From: TiborB, 2016-02-09
• [Merge] lp:~widelands-dev/widelands/ai_trainingsites_tweaks into lp:widelands
  From: bunnybot, 2016-02-10
• [Merge] lp:~widelands-dev/widelands/ai_trainingsites_tweaks into lp:widelands
  From: bunnybot, 2016-02-10
• Re: [Merge] lp:~widelands-dev/widelands/ai_trainingsites_tweaks into lp:widelands
  From: GunChleoc, 2016-02-10
• [Merge] lp:~widelands-dev/widelands/ai_trainingsites_tweaks into lp:widelands
  From: noreply, 2016-02-10
• [Merge] lp:~widelands-dev/widelands/file_not_found_message into lp:widelands
  From: GunChleoc, 2016-02-09
• [Merge] lp:~widelands-dev/widelands/file_not_found_message into lp:widelands
  From: bunnybot, 2016-02-09
• Re: [Merge] lp:~widelands-dev/widelands/file_not_found_message into lp:widelands
  From: SirVer, 2016-02-11
• Re: [Merge] lp:~widelands-dev/widelands/file_not_found_message into lp:widelands
  From: GunChleoc, 2016-02-11
• Re: [Merge] lp:~widelands-dev/widelands/file_not_found_message into lp:widelands
  From: GunChleoc, 2016-02-11
• [Merge] lp:~widelands-dev/widelands/file_not_found_message into lp:widelands
  From: noreply, 2016-02-11
• [Merge] lp:~widelands-dev/widelands/ship_and_portspaces into lp:widelands
  From: SirVer, 2016-02-08
• [Merge] lp:~widelands-dev/widelands/ship_and_portspaces into lp:widelands
  From: SirVer, 2016-02-08
• [Merge] lp:~widelands-dev/widelands/ship_and_portspaces into lp:widelands
  From: bunnybot, 2016-02-09
• Re: [Merge] lp:~widelands-dev/widelands/ship_and_portspaces into lp:widelands
  From: TiborB, 2016-02-09
• Re: [Merge] lp:~widelands-dev/widelands/ship_and_portspaces into lp:widelands
  From: GunChleoc, 2016-02-09
• Re: [Merge] lp:~widelands-dev/widelands/ship_and_portspaces into lp:widelands
  From: TiborB, 2016-02-09
• Re: [Merge] lp:~widelands-dev/widelands/ship_and_portspaces into lp:widelands
  From: GunChleoc, 2016-02-09
• Re: [Merge] lp:~widelands-dev/widelands/ship_and_portspaces into lp:widelands
  From: SirVer, 2016-02-09
• Re: [Merge] lp:~widelands-dev/widelands/ship_and_portspaces into lp:widelands
  From: TiborB, 2016-02-09
• Re: [Merge] lp:~widelands-dev/widelands/ship_and_portspaces into lp:widelands
  From: TiborB, 2016-02-09
• Re: [Merge] lp:~widelands-dev/widelands/ship_and_portspaces into lp:widelands
  From: TiborB, 2016-02-09
• Re: [Merge] lp:~widelands-dev/widelands/ship_and_portspaces into lp:widelands
  From: GunChleoc, 2016-02-09
• Re: [Merge] lp:~widelands-dev/widelands/ship_and_portspaces into lp:widelands
  From: TiborB, 2016-02-09
• Re: [Merge] lp:~widelands-dev/widelands/ship_and_portspaces into lp:widelands
  From: GunChleoc, 2016-02-10
• Re: [Merge] lp:~widelands-dev/widelands/ship_and_portspaces into lp:widelands
  From: GunChleoc, 2016-02-10
• Re: [Merge] lp:~widelands-dev/widelands/ship_and_portspaces into lp:widelands
  From: GunChleoc, 2016-02-10
• Re: [Merge] lp:~widelands-dev/widelands/ship_and_portspaces into lp:widelands
  From: SirVer, 2016-02-11
• [Merge] lp:~widelands-dev/widelands/ship_and_portspaces into lp:widelands
  From: bunnybot, 2016-02-11
• Re: [Merge] lp:~widelands-dev/widelands/ship_and_portspaces into lp:widelands
  From: SirVer, 2016-02-11
• [Merge] lp:~widelands-dev/widelands/ship_and_portspaces into lp:widelands
  From: noreply, 2016-02-11
• Re: [Merge] lp:~widelands-dev/widelands/ship_and_portspaces into lp:widelands
  From: TiborB, 2016-02-11
• [Merge] lp:~widelands-dev/widelands/map_hint_space into lp:widelands
  From: GunChleoc, 2016-02-08
• [Merge] lp:~widelands-dev/widelands/map_hint_space into lp:widelands
  From: bunnybot, 2016-02-09
• Re: [Merge] lp:~widelands-dev/widelands/map_hint_space into lp:widelands
  From: SirVer, 2016-02-09
• Re: [Merge] lp:~widelands-dev/widelands/map_hint_space into lp:widelands
  From: GunChleoc, 2016-02-09
• Re: [Merge] lp:~widelands-dev/widelands/map_hint_space into lp:widelands
  From: SirVer, 2016-02-09
• Re: [Merge] lp:~widelands-dev/widelands/map_hint_space into lp:widelands
  From: GunChleoc, 2016-02-09
• [Merge] lp:~widelands-dev/widelands/map_hint_space into lp:widelands
  From: bunnybot, 2016-02-09
• Re: [Merge] lp:~widelands-dev/widelands/map_hint_space into lp:widelands
  From: kaputtnik, 2016-02-12
• Re: [Merge] lp:~widelands-dev/widelands/map_hint_space into lp:widelands
  From: GunChleoc, 2016-02-13
• Re: [Merge] lp:~widelands-dev/widelands/map_hint_space into lp:widelands
  From: SirVer, 2016-02-13
• Re: [Merge] lp:~widelands-dev/widelands/map_hint_space into lp:widelands
  From: GunChleoc, 2016-02-13
• [Merge] lp:~widelands-dev/widelands/map_hint_space into lp:widelands
  From: bunnybot, 2016-02-13
• Re: [Merge] lp:~widelands-dev/widelands/map_hint_space into lp:widelands
  From: GunChleoc, 2016-02-14
• [Merge] lp:~widelands-dev/widelands/map_hint_space into lp:widelands
  From: noreply, 2016-02-14
• [Merge] lp:~widelands-dev/widelands/1535296-cleanup-and-autofit into lp:widelands
  From: GunChleoc, 2016-02-08
• [Merge] lp:~widelands-dev/widelands/1535296-cleanup-and-autofit into lp:widelands
  From: bunnybot, 2016-02-09
• Re: [Merge] lp:~widelands-dev/widelands/1535296-cleanup-and-autofit into lp:widelands
  From: SirVer, 2016-02-09
• Re: [Merge] lp:~widelands-dev/widelands/1535296-cleanup-and-autofit into lp:widelands
  From: GunChleoc, 2016-02-09
• [Merge] lp:~widelands-dev/widelands/1535296-cleanup-and-autofit into lp:widelands
  From: bunnybot, 2016-02-09
• Re: [Merge] lp:~widelands-dev/widelands/1535296-cleanup-and-autofit into lp:widelands
  From: GunChleoc, 2016-02-09
• [Merge] lp:~widelands-dev/widelands/1535296-cleanup-and-autofit into lp:widelands
  From: noreply, 2016-02-09
• [Merge] lp:~widelands-dev/widelands/bug-1395278-tribes-a-p into lp:widelands
  From: GunChleoc, 2016-02-08
• [Merge] lp:~widelands-dev/widelands/bug-1395278-tribes-a-p into lp:widelands
  From: bunnybot, 2016-02-08
• Re: [Merge] lp:~widelands-dev/widelands/bug-1395278-tribes-a-p into lp:widelands
  From: SirVer, 2016-02-09
• [Merge] lp:~widelands-dev/widelands/bug-1395278-tribes-a-p into lp:widelands
  From: noreply, 2016-02-09
• [Merge] lp:~widelands-dev/widelands/bug-1395278-world into lp:widelands
  From: GunChleoc, 2016-02-08
• [Merge] lp:~widelands-dev/widelands/bug-1395278-world into lp:widelands
  From: bunnybot, 2016-02-08
• Re: [Merge] lp:~widelands-dev/widelands/bug-1395278-world into lp:widelands
  From: SirVer, 2016-02-09
• [Merge] lp:~widelands-dev/widelands/bug-1395278-world into lp:widelands
  From: noreply, 2016-02-09
• [Merge] lp:~widelands-dev/widelands/ppa_glbinding into lp:widelands
  From: SirVer, 2016-02-08
• Re: [Merge] lp:~widelands-dev/widelands/ppa_glbinding into lp:widelands
  From: SirVer, 2016-02-08
• [Merge] lp:~widelands-dev/widelands/ppa_glbinding into lp:widelands
  From: bunnybot, 2016-02-08
• Re: [Merge] lp:~widelands-dev/widelands/ppa_glbinding into lp:widelands
  From: GunChleoc, 2016-02-09
• Re: [Merge] lp:~widelands-dev/widelands/ppa_glbinding into lp:widelands
  From: SirVer, 2016-02-09
• [Merge] lp:~widelands-dev/widelands/ppa_glbinding into lp:widelands
  From: noreply, 2016-02-09
• [Merge] lp:~widelands-dev/widelands/building-statistics-window-labels into lp:widelands
  From: GunChleoc, 2016-02-07
• Re: [Merge] lp:~widelands-dev/widelands/building-statistics-window-labels into lp:widelands
  From: SirVer, 2016-02-07
• Re: [Merge] lp:~widelands-dev/widelands/building-statistics-window-labels into lp:widelands
  From: kaputtnik, 2016-02-07
• Re: [Merge] lp:~widelands-dev/widelands/building-statistics-window-labels into lp:widelands
  From: GunChleoc, 2016-02-07
• [Merge] lp:~widelands-dev/widelands/building-statistics-window-labels into lp:widelands
  From: noreply, 2016-02-07
• [Merge] lp:~widelands-dev/widelands/bug-1395278-map_objects into lp:widelands
  From: GunChleoc, 2016-02-07
• Re: [Merge] lp:~widelands-dev/widelands/bug-1395278-map_objects into lp:widelands
  From: SirVer, 2016-02-07
• [Merge] lp:~widelands-dev/widelands/bug-1395278-map_objects into lp:widelands
  From: bunnybot, 2016-02-08
• Re: [Merge] lp:~widelands-dev/widelands/bug-1395278-map_objects into lp:widelands
  From: SirVer, 2016-02-08
• [Merge] lp:~widelands-dev/widelands/bug-1395278-map_objects into lp:widelands
  From: noreply, 2016-02-08
• [Merge] lp:~widelands-dev/widelands/bug-1395278-base-economy into lp:widelands
  From: GunChleoc, 2016-02-07
• Re: [Merge] lp:~widelands-dev/widelands/bug-1395278-base-economy into lp:widelands
  From: Klaus Halfmann, 2016-02-07
• [Merge] lp:~widelands-dev/widelands/bug-1395278-base-economy into lp:widelands
  From: bunnybot, 2016-02-08
• Re: [Merge] lp:~widelands-dev/widelands/bug-1395278-base-economy into lp:widelands
  From: GunChleoc, 2016-02-08
• [Merge] lp:~widelands-dev/widelands/bug-1395278-base-economy into lp:widelands
  From: noreply, 2016-02-08
• [Merge] lp:~widelands-dev/widelands/do_not_update_size_when_minimized into lp:widelands
  From: SirVer, 2016-02-06
• [Merge] lp:~widelands-dev/widelands/do_not_update_size_when_minimized into lp:widelands
  From: bunnybot, 2016-02-07
• Re: [Merge] lp:~widelands-dev/widelands/do_not_update_size_when_minimized into lp:widelands
  From: GunChleoc, 2016-02-07
• Re: [Merge] lp:~widelands-dev/widelands/do_not_update_size_when_minimized into lp:widelands
  From: SirVer, 2016-02-07
• [Merge] lp:~widelands-dev/widelands/do_not_update_size_when_minimized into lp:widelands
  From: noreply, 2016-02-07
• [Merge] lp:~widelands-dev/widelands/parent_directory into lp:widelands
  From: SirVer, 2016-02-06
• Re: [Merge] lp:~widelands-dev/widelands/parent_directory into lp:widelands
  From: SirVer, 2016-02-06
• Re: [Merge] lp:~widelands-dev/widelands/parent_directory into lp:widelands
  From: Tino, 2016-02-06
• Re: [Merge] lp:~widelands-dev/widelands/parent_directory into lp:widelands
  From: GunChleoc, 2016-02-07
• Re: [Merge] lp:~widelands-dev/widelands/parent_directory into lp:widelands
  From: SirVer, 2016-02-07
• [Merge] lp:~widelands-dev/widelands/parent_directory into lp:widelands
  From: noreply, 2016-02-07
• [Merge] lp:~widelands-dev/widelands/dedicated_out_of_main into lp:widelands
  From: SirVer, 2016-02-06
• Re: [Merge] lp:~widelands-dev/widelands/dedicated_out_of_main into lp:widelands
  From: GunChleoc, 2016-02-07
• Re: [Merge] lp:~widelands-dev/widelands/dedicated_out_of_main into lp:widelands
  From: SirVer, 2016-02-07
• Re: [Merge] lp:~widelands-dev/widelands/dedicated_out_of_main into lp:widelands
  From: Tino, 2016-02-07
• [Merge] lp:~widelands-dev/widelands/dedicated_out_of_main into lp:widelands
  From: noreply, 2016-02-07
• [Merge] lp:~widelands-dev/widelands/different_replay_names into lp:widelands
  From: SirVer, 2016-02-06
• [Merge] lp:~widelands-dev/widelands/different_replay_names into lp:widelands
  From: SirVer, 2016-02-06
• [Merge] lp:~widelands-dev/widelands/different_replay_names into lp:widelands
  From: noreply, 2016-02-07
• [Merge] lp:~widelands-dev/widelands/bug-1542214 into lp:widelands
  From: GunChleoc, 2016-02-06
• [Merge] lp:~widelands-dev/widelands/bug-1542214 into lp:widelands
  From: bunnybot, 2016-02-06
• Re: [Merge] lp:~widelands-dev/widelands/bug-1542214 into lp:widelands
  From: SirVer, 2016-02-07
• [Merge] lp:~widelands-dev/widelands/bug-1542214 into lp:widelands
  From: noreply, 2016-02-07
• [Merge] lp:~widelands-dev/widelands/bug-1542238-log into lp:widelands
  From: TiborB, 2016-02-05
• Re: [Merge] lp:~widelands-dev/widelands/bug-1542238-log into lp:widelands
  From: GunChleoc, 2016-02-06
• Re: [Merge] lp:~widelands-dev/widelands/bug-1542238-log into lp:widelands
  From: TiborB, 2016-02-06
• Re: [Merge] lp:~widelands-dev/widelands/bug-1542238-log into lp:widelands
  From: GunChleoc, 2016-02-07
• [Merge] lp:~widelands-dev/widelands/bug-1542238-log into lp:widelands
  From: noreply, 2016-02-07
• [Merge] lp:~widelands-dev/widelands/simplify_setbobdescription into lp:widelands
  From: SirVer, 2016-02-05
• Re: [Merge] lp:~widelands-dev/widelands/simplify_setbobdescription into lp:widelands
  From: GunChleoc, 2016-02-06
• [Merge] lp:~widelands-dev/widelands/simplify_setbobdescription into lp:widelands
  From: bunnybot, 2016-02-06
• Re: [Merge] lp:~widelands-dev/widelands/simplify_setbobdescription into lp:widelands
  From: SirVer, 2016-02-06
• [Merge] lp:~widelands-dev/widelands/simplify_setbobdescription into lp:widelands
  From: noreply, 2016-02-06
• [Merge] lp:~widelands-dev/widelands/fix_removal_of_ports into lp:widelands
  From: SirVer, 2016-02-05
• Re: [Merge] lp:~widelands-dev/widelands/fix_removal_of_ports into lp:widelands
  From: GunChleoc, 2016-02-06
• Re: [Merge] lp:~widelands-dev/widelands/fix_removal_of_ports into lp:widelands
  From: SirVer, 2016-02-06
• [Merge] lp:~widelands-dev/widelands/fix_removal_of_ports into lp:widelands
  From: bunnybot, 2016-02-06
• [Merge] lp:~widelands-dev/widelands/fix_removal_of_ports into lp:widelands
  From: noreply, 2016-02-06
• [Merge] lp:~widelands-dev/widelands/add_hint_to_map_info into lp:widelands
  From: kaputtnik, 2016-02-05
• Re: [Merge] lp:~widelands-dev/widelands/add_hint_to_map_info into lp:widelands
  From: GunChleoc, 2016-02-05
• [Merge] lp:~widelands-dev/widelands/add_hint_to_map_info into lp:widelands
  From: bunnybot, 2016-02-06
• Re: [Merge] lp:~widelands-dev/widelands/add_hint_to_map_info into lp:widelands
  From: GunChleoc, 2016-02-06
• [Merge] lp:~widelands-dev/widelands/add_hint_to_map_info into lp:widelands
  From: noreply, 2016-02-06
• [Merge] lp:~widelands-dev/widelands/bug-1289943 into lp:widelands
  From: GunChleoc, 2016-02-05
• [Merge] lp:~widelands-dev/widelands/bug-1289943 into lp:widelands
  From: bunnybot, 2016-02-06
• Re: [Merge] lp:~widelands-dev/widelands/bug-1289943 into lp:widelands
  From: SirVer, 2016-02-06
• Re: [Merge] lp:~widelands-dev/widelands/bug-1289943 into lp:widelands
  From: GunChleoc, 2016-02-06
• [Merge] lp:~widelands-dev/widelands/bug-1289943 into lp:widelands
  From: GunChleoc, 2016-02-06
• [Merge] lp:~widelands-dev/widelands/fix_ware_amount into lp:widelands
  From: GunChleoc, 2016-02-04
• Re: [Merge] lp:~widelands-dev/widelands/fix_ware_amount into lp:widelands
  From: SirVer, 2016-02-04
• Re: [Merge] lp:~widelands-dev/widelands/fix_ware_amount into lp:widelands
  From: GunChleoc, 2016-02-05
• Re: [Merge] lp:~widelands-dev/widelands/fix_ware_amount into lp:widelands
  From: SirVer, 2016-02-05
• [Merge] lp:~widelands-dev/widelands/fix_ware_amount into lp:widelands
  From: noreply, 2016-02-05
• [Merge] lp:~widelands-dev/widelands/pretty-datadirs into lp:widelands
  From: GunChleoc, 2016-02-04
• Re: [Merge] lp:~widelands-dev/widelands/pretty-datadirs into lp:widelands
  From: kaputtnik, 2016-02-04
• Re: [Merge] lp:~widelands-dev/widelands/pretty-datadirs into lp:widelands
  From: SirVer, 2016-02-05
• [Merge] lp:~widelands-dev/widelands/pretty-datadirs into lp:widelands
  From: noreply, 2016-02-05
• [Merge] lp:~widelands-dev/widelands/bug-1541697 into lp:widelands
  From: GunChleoc, 2016-02-04
• Re: [Merge] lp:~widelands-dev/widelands/bug-1541697 into lp:widelands
  From: kaputtnik, 2016-02-04
• Re: [Merge] lp:~widelands-dev/widelands/bug-1541697 into lp:widelands
  From: SirVer, 2016-02-05
• [Merge] lp:~widelands-dev/widelands/bug-1541697 into lp:widelands
  From: noreply, 2016-02-05
• [Merge] lp:~widelands-dev/widelands/messagebox into lp:widelands
  From: GunChleoc, 2016-02-04
• Re: [Merge] lp:~widelands-dev/widelands/messagebox into lp:widelands
  From: SirVer, 2016-02-05
• Re: [Merge] lp:~widelands-dev/widelands/messagebox into lp:widelands
  From: GunChleoc, 2016-02-05
• [Merge] lp:~widelands-dev/widelands/messagebox into lp:widelands
  From: noreply, 2016-02-05
• [Merge] lp:~klaus-halfmann/widelands/bug-1395278-ui_basic into lp:widelands
  From: Klaus Halfmann, 2016-02-03
• [Merge] lp:~widelands-dev/widelands-website/fix_path_for_devevelopers into lp:widelands-website
  From: kaputtnik, 2016-02-03
• [Merge] lp:~widelands-dev/widelands-website/fix_path_for_devevelopers into lp:widelands-website
  From: noreply, 2016-02-03
• Re: [Merge] lp:~widelands-dev/widelands-website/fix_path_for_devevelopers into lp:widelands-website
  From: SirVer, 2016-02-03
• [Merge] lp:~widelands-dev/widelands/remove_deprecated into lp:widelands
  From: GunChleoc, 2016-02-02
• Re: [Merge] lp:~widelands-dev/widelands/remove_deprecated into lp:widelands
  From: TiborB, 2016-02-02
• [Merge] lp:~widelands-dev/widelands/remove_deprecated into lp:widelands
  From: bunnybot, 2016-02-03
• Re: [Merge] lp:~widelands-dev/widelands/remove_deprecated into lp:widelands
  From: GunChleoc, 2016-02-03
• [Merge] lp:~widelands-dev/widelands/remove_deprecated into lp:widelands
  From: noreply, 2016-02-03
• [Merge] lp:~widelands-dev/widelands/ignore_dev_branch into lp:widelands
  From: Tino, 2016-02-02
• [Merge] lp:~widelands-dev/widelands/ignore_dev_branch into lp:widelands
  From: Tino, 2016-02-02
• Re: [Merge] lp:~widelands-dev/widelands/ignore_dev_branch into lp:widelands
  From: GunChleoc, 2016-02-02
• [Merge] lp:~widelands-dev/widelands/ignore_dev_branch into lp:widelands
  From: noreply, 2016-02-02
• Re: [Merge] lp:~widelands-dev/widelands/ignore_dev_branch into lp:widelands
  From: SirVer, 2016-02-03
• [Merge] lp:~widelands-dev/widelands/ai_parameters_tweak into lp:widelands
  From: TiborB, 2016-02-01
• [Merge] lp:~widelands-dev/widelands/ai_parameters_tweak into lp:widelands
  From: bunnybot, 2016-02-01
• Re: [Merge] lp:~widelands-dev/widelands/ai_parameters_tweak into lp:widelands
  From: GunChleoc, 2016-02-02
• [Merge] lp:~widelands-dev/widelands/ai_parameters_tweak into lp:widelands
  From: TiborB, 2016-02-02
• Re: [Merge] lp:~widelands-dev/widelands/ai_parameters_tweak into lp:widelands
  From: GunChleoc, 2016-02-03
• [Merge] lp:~widelands-dev/widelands/ai_parameters_tweak into lp:widelands
  From: noreply, 2016-02-03
• [Merge] lp:~widelands-dev/widelands/compiler_warning into lp:widelands
  From: GunChleoc, 2016-02-01
• [Merge] lp:~widelands-dev/widelands/compiler_warning into lp:widelands
  From: bunnybot, 2016-02-01

 •  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