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/campaign_data into lp:widelands, (continued)
  • Re: [Merge] lp:~widelands-dev/widelands/campaign_data into lp:widelands
    From: Klaus Halfmann, 2018-05-30
  • Re: [Merge] lp:~widelands-dev/widelands/campaign_data into lp:widelands
    From: GunChleoc, 2018-05-31
  • [Merge] lp:~widelands-dev/widelands/campaign_data into lp:widelands
    From: bunnybot, 2018-06-01
  • Re: [Merge] lp:~widelands-dev/widelands/campaign_data into lp:widelands
    From: Klaus Halfmann, 2018-06-01
  • [Merge] lp:~widelands-dev/widelands/campaign_data into lp:widelands
    From: noreply, 2018-06-01
• [Merge] lp:~widelands-dev/widelands/net-online-game-status into lp:widelands
  From: Notabilis, 2018-04-22
• [Merge] lp:~widelands-dev/widelands/net-online-game-status into lp:widelands
  From: bunnybot, 2018-04-23
• Re: [Merge] lp:~widelands-dev/widelands/net-online-game-status into lp:widelands
  From: GunChleoc, 2018-04-23
• Re: [Merge] lp:~widelands-dev/widelands/net-online-game-status into lp:widelands
  From: Notabilis, 2018-04-23
• [Merge] lp:~widelands-dev/widelands/net-online-game-status into lp:widelands
  From: bunnybot, 2018-04-24
• Re: [Merge] lp:~widelands-dev/widelands/net-online-game-status into lp:widelands
  From: GunChleoc, 2018-04-24
• Re: [Merge] lp:~widelands-dev/widelands/net-online-game-status into lp:widelands
  From: Notabilis, 2018-05-02
• [Merge] lp:~widelands-dev/widelands/net-online-game-status into lp:widelands
  From: noreply, 2018-05-02
• [Merge] lp:~widelands-dev/widelands/bug-1743086-sdl-sound-bug-workaround into lp:widelands
  From: Klaus Halfmann, 2018-04-22
• [Merge] lp:~widelands-dev/widelands/bug-1743086-sdl-sound-bug-workaround into lp:widelands
  From: bunnybot, 2018-04-22
• Re: [Merge] lp:~widelands-dev/widelands/bug-1743086-sdl-sound-bug-workaround into lp:widelands
  From: GunChleoc, 2018-04-23
• [Merge] lp:~widelands-dev/widelands/bug-1743086-sdl-sound-bug-workaround into lp:widelands
  From: noreply, 2018-04-23
• [Merge] lp:~widelands-dev/widelands/frisians-fix into lp:widelands
  From: Benedikt Straub, 2018-04-21
• [Merge] lp:~widelands-dev/widelands/frisians-fix into lp:widelands
  From: bunnybot, 2018-04-21
• Re: [Merge] lp:~widelands-dev/widelands/frisians-fix into lp:widelands
  From: GunChleoc, 2018-04-22
• Re: [Merge] lp:~widelands-dev/widelands/frisians-fix into lp:widelands
  From: hessenfarmer, 2018-04-22
• Re: [Merge] lp:~widelands-dev/widelands/frisians-fix into lp:widelands
  From: Benedikt Straub, 2018-04-22
• Re: [Merge] lp:~widelands-dev/widelands/frisians-fix into lp:widelands
  From: GunChleoc, 2018-04-23
• Re: [Merge] lp:~widelands-dev/widelands/frisians-fix into lp:widelands
  From: hessenfarmer, 2018-04-24
• [Merge] lp:~widelands-dev/widelands/frisians-fix into lp:widelands
  From: GunChleoc, 2018-04-24
• Re: [Merge] lp:~widelands-dev/widelands/frisians-fix into lp:widelands
  From: hessenfarmer, 2018-04-25
• Re: [Merge] lp:~widelands-dev/widelands/frisians-fix into lp:widelands
  From: GunChleoc, 2018-04-25
• [Merge] lp:~widelands-dev/widelands/frisians-fix into lp:widelands
  From: noreply, 2018-04-25
• Re: [Merge] lp:~widelands-dev/widelands/frisians-fix into lp:widelands
  From: TiborB, 2018-04-25
• [Merge] lp:~widelands-dev/widelands/net-user-type into lp:widelands
  From: Notabilis, 2018-04-21
• Re: [Merge] lp:~widelands-dev/widelands/net-user-type into lp:widelands
  From: Notabilis, 2018-04-21
• Re: [Merge] lp:~widelands-dev/widelands/net-user-type into lp:widelands
  From: GunChleoc, 2018-04-21
• [Merge] lp:~widelands-dev/widelands/net-user-type into lp:widelands
  From: bunnybot, 2018-04-21
• Re: [Merge] lp:~widelands-dev/widelands/net-user-type into lp:widelands
  From: Klaus Halfmann, 2018-04-22
• Re: [Merge] lp:~widelands-dev/widelands/net-user-type into lp:widelands
  From: Klaus Halfmann, 2018-04-22
• Re: [Merge] lp:~widelands-dev/widelands/net-user-type into lp:widelands
  From: GunChleoc, 2018-04-22
• Re: [Merge] lp:~widelands-dev/widelands/net-user-type into lp:widelands
  From: Notabilis, 2018-04-22
• Re: [Merge] lp:~widelands-dev/widelands/net-user-type into lp:widelands
  From: Notabilis, 2018-04-22
• Re: [Merge] lp:~widelands-dev/widelands/net-user-type into lp:widelands
  From: GunChleoc, 2018-04-23
• Re: [Merge] lp:~widelands-dev/widelands/net-user-type into lp:widelands
  From: Notabilis, 2018-04-23
• Re: [Merge] lp:~widelands-dev/widelands/net-user-type into lp:widelands
  From: kaputtnik, 2018-04-23
• Re: [Merge] lp:~widelands-dev/widelands/net-user-type into lp:widelands
  From: Klaus Halfmann, 2018-05-01
• Re: [Merge] lp:~widelands-dev/widelands/net-user-type into lp:widelands
  From: GunChleoc, 2018-05-01
• Re: [Merge] lp:~widelands-dev/widelands/net-user-type into lp:widelands
  From: Notabilis, 2018-05-01
• Re: [Merge] lp:~widelands-dev/widelands/net-user-type into lp:widelands
  From: Notabilis, 2018-05-02
• [Merge] lp:~widelands-dev/widelands/net-user-type into lp:widelands
  From: noreply, 2018-05-02
• Re: [Merge] lp:~widelands-dev/widelands/net-user-type into lp:widelands
  From: Notabilis, 2018-05-02
• Re: [Merge] lp:~widelands-dev/widelands/net-user-type into lp:widelands
  From: GunChleoc, 2018-05-03
• [Merge] lp:~widelands-dev/widelands/net-remove-tell_ip into lp:widelands
  From: Notabilis, 2018-04-21
• [Merge] lp:~widelands-dev/widelands/net-remove-tell_ip into lp:widelands
  From: bunnybot, 2018-04-21
• Re: [Merge] lp:~widelands-dev/widelands/net-remove-tell_ip into lp:widelands
  From: GunChleoc, 2018-04-22
• Re: [Merge] lp:~widelands-dev/widelands/net-remove-tell_ip into lp:widelands
  From: Notabilis, 2018-05-02
• [Merge] lp:~widelands-dev/widelands/net-remove-tell_ip into lp:widelands
  From: noreply, 2018-05-02
• Feature Freeze planning
  From: Fòram na Gàidhlig, 2018-04-18
• [Merge] lp:~widelands-dev/widelands/ai_new_wai_files_18042018 into lp:widelands
  From: TiborB, 2018-04-18
• Re: [Merge] lp:~widelands-dev/widelands/ai_new_wai_files_18042018 into lp:widelands
  From: GunChleoc, 2018-04-18
• [Merge] lp:~widelands-dev/widelands/ai_new_wai_files_18042018 into lp:widelands
  From: bunnybot, 2018-04-18
• [Merge] lp:~widelands-dev/widelands/ai_new_wai_files_18042018 into lp:widelands
  From: noreply, 2018-04-18
• <Possible follow-ups>
• [Merge] lp:~widelands-dev/widelands/ai_new_wai_files_18042018 into lp:widelands
  From: TiborB, 2018-06-01
• Re: [Merge] lp:~widelands-dev/widelands/ai_new_wai_files_18042018 into lp:widelands
  From: GunChleoc, 2018-06-01
• [Merge] lp:~widelands-dev/widelands/ai_new_wai_files_18042018 into lp:widelands
  From: bunnybot, 2018-06-01
• [Merge] lp:~widelands-dev/widelands/ai_new_wai_files_18042018 into lp:widelands
  From: noreply, 2018-06-01
• [Merge] lp:~widelands-dev/widelands/1733279-ingame-clock into lp:widelands
  From: GunChleoc, 2018-04-18
• [Merge] lp:~widelands-dev/widelands/1733279-ingame-clock into lp:widelands
  From: bunnybot, 2018-04-18
• Re: [Merge] lp:~widelands-dev/widelands/1733279-ingame-clock into lp:widelands
  From: Notabilis, 2018-04-24
• Re: [Merge] lp:~widelands-dev/widelands/1733279-ingame-clock into lp:widelands
  From: GunChleoc, 2018-04-27
• [Merge] lp:~widelands-dev/widelands/1733279-ingame-clock into lp:widelands
  From: noreply, 2018-04-27
• [Merge] lp:~widelands-dev/widelands/delete_new_font_renderer_messages into lp:widelands
  From: GunChleoc, 2018-04-16
• [Merge] lp:~widelands-dev/widelands/delete_new_font_renderer_messages into lp:widelands
  From: bunnybot, 2018-04-16
• Re: [Merge] lp:~widelands-dev/widelands/delete_new_font_renderer_messages into lp:widelands
  From: GunChleoc, 2018-04-17
• [Merge] lp:~widelands-dev/widelands/delete_new_font_renderer_messages into lp:widelands
  From: noreply, 2018-04-17
• [Merge] lp:~widelands-dev/widelands/bug-1358880-ship-statistics into lp:widelands
  From: GunChleoc, 2018-04-16
• [Merge] lp:~widelands-dev/widelands/bug-1358880-ship-statistics into lp:widelands
  From: bunnybot, 2018-04-16
• Re: [Merge] lp:~widelands-dev/widelands/bug-1358880-ship-statistics into lp:widelands
  From: Notabilis, 2018-04-25
• Re: [Merge] lp:~widelands-dev/widelands/bug-1358880-ship-statistics into lp:widelands
  From: GunChleoc, 2018-04-28
• Re: [Merge] lp:~widelands-dev/widelands/bug-1358880-ship-statistics into lp:widelands
  From: Notabilis, 2018-04-28
• Re: [Merge] lp:~widelands-dev/widelands/bug-1358880-ship-statistics into lp:widelands
  From: GunChleoc, 2018-04-28
• Re: [Merge] lp:~widelands-dev/widelands/bug-1358880-ship-statistics into lp:widelands
  From: Notabilis, 2018-04-28
• Re: [Merge] lp:~widelands-dev/widelands/bug-1358880-ship-statistics into lp:widelands
  From: GunChleoc, 2018-04-28
• [Merge] lp:~widelands-dev/widelands/bug-1358880-ship-statistics into lp:widelands
  From: bunnybot, 2018-04-28
• Re: [Merge] lp:~widelands-dev/widelands/bug-1358880-ship-statistics into lp:widelands
  From: GunChleoc, 2018-04-29
• [Merge] lp:~widelands-dev/widelands/bug-1358880-ship-statistics into lp:widelands
  From: noreply, 2018-04-29
• Re: [Merge] lp:~widelands-dev/widelands/bug-1358880-ship-statistics into lp:widelands
  From: kaputtnik, 2018-05-01
• [Merge] lp:~widelands-dev/widelands/ships_optr into lp:widelands
  From: GunChleoc, 2018-04-16
• [Merge] lp:~widelands-dev/widelands/ships_optr into lp:widelands
  From: bunnybot, 2018-04-16
• [Merge] lp:~widelands-dev/widelands/ships_optr into lp:widelands
  From: bunnybot, 2018-04-17
• Re: [Merge] lp:~widelands-dev/widelands/ships_optr into lp:widelands
  From: Notabilis, 2018-04-24
• Re: [Merge] lp:~widelands-dev/widelands/ships_optr into lp:widelands
  From: GunChleoc, 2018-04-27
• [Merge] lp:~widelands-dev/widelands/ships_optr into lp:widelands
  From: noreply, 2018-04-27
• [Merge] lp:~widelands-dev/widelands/bug-1623375-multiplayer-starting-view into lp:widelands
  From: GunChleoc, 2018-04-16
• [Merge] lp:~widelands-dev/widelands/bug-1623375-multiplayer-starting-view into lp:widelands
  From: bunnybot, 2018-04-16
• Re: [Merge] lp:~widelands-dev/widelands/bug-1623375-multiplayer-starting-view into lp:widelands
  From: Notabilis, 2018-04-24
• Re: [Merge] lp:~widelands-dev/widelands/bug-1623375-multiplayer-starting-view into lp:widelands
  From: GunChleoc, 2018-04-27
• [Merge] lp:~widelands-dev/widelands/bug-1623375-multiplayer-starting-view into lp:widelands
  From: noreply, 2018-04-27
• Re: [Merge] lp:~widelands-dev/widelands/bug-1623375-multiplayer-starting-view into lp:widelands
  From: Notabilis, 2018-04-28
• [Merge] lp:~widelands-dev/widelands/fri-02-fix into lp:widelands
  From: Benedikt Straub, 2018-04-15
• Re: [Merge] lp:~widelands-dev/widelands/fri-02-fix into lp:widelands
  From: TiborB, 2018-04-15
• Re: [Merge] lp:~widelands-dev/widelands/fri-02-fix into lp:widelands
  From: hessenfarmer, 2018-04-15
• Re: [Merge] lp:~widelands-dev/widelands/fri-02-fix into lp:widelands
  From: TiborB, 2018-04-15
• Re: [Merge] lp:~widelands-dev/widelands/fri-02-fix into lp:widelands
  From: hessenfarmer, 2018-04-15
• [Merge] lp:~widelands-dev/widelands/fri-02-fix into lp:widelands
  From: bunnybot, 2018-04-15
• Re: [Merge] lp:~widelands-dev/widelands/fri-02-fix into lp:widelands
  From: TiborB, 2018-04-16
• [Merge] lp:~widelands-dev/widelands/fri-02-fix into lp:widelands
  From: GunChleoc, 2018-04-16
• Re: [Merge] lp:~widelands-dev/widelands/fri-02-fix into lp:widelands
  From: GunChleoc, 2018-04-16
• [Merge] lp:~widelands-dev/widelands/fri-02-fix into lp:widelands
  From: noreply, 2018-04-16
• [Merge] lp:~widelands-dev/widelands/bug-1721121-workers-invisible-wares into lp:widelands
  From: GunChleoc, 2018-04-15
• [Merge] lp:~widelands-dev/widelands/bug-1721121-workers-invisible-wares into lp:widelands
  From: GunChleoc, 2018-04-15
• [Merge] lp:~widelands-dev/widelands/bug-1721121-workers-invisible-wares into lp:widelands
  From: bunnybot, 2018-04-15
• Re: [Merge] lp:~widelands-dev/widelands/bug-1721121-workers-invisible-wares into lp:widelands
  From: Notabilis, 2018-05-04
• Re: [Merge] lp:~widelands-dev/widelands/bug-1721121-workers-invisible-wares into lp:widelands
  From: GunChleoc, 2018-05-05
• [Merge] lp:~widelands-dev/widelands/bug-1721121-workers-invisible-wares into lp:widelands
  From: noreply, 2018-05-05
• [Merge] lp:~widelands-dev/widelands/bug-1696702-fuzzy-building-plots into lp:widelands
  From: GunChleoc, 2018-04-12
• [Merge] lp:~widelands-dev/widelands/bug-1696702-fuzzy-building-plots into lp:widelands
  From: bunnybot, 2018-04-12
• [Merge] lp:~widelands-dev/widelands/bug-1696702-fuzzy-building-plots into lp:widelands
  From: GunChleoc, 2018-04-12
• <Possible follow-ups>
• [Merge] lp:~widelands-dev/widelands/bug-1696702-fuzzy-building-plots into lp:widelands
  From: GunChleoc, 2018-04-13
• Re: [Merge] lp:~widelands-dev/widelands/bug-1696702-fuzzy-building-plots into lp:widelands
  From: GunChleoc, 2018-04-13
• [Merge] lp:~widelands-dev/widelands/bug-1696702-fuzzy-building-plots into lp:widelands
  From: bunnybot, 2018-04-13
• [Merge] lp:~widelands-dev/widelands/bug-1696702-fuzzy-building-plots into lp:widelands
  From: bunnybot, 2018-07-05
• Re: [Merge] lp:~widelands-dev/widelands/bug-1696702-fuzzy-building-plots into lp:widelands
  From: Klaus Halfmann, 2018-07-16
• Re: [Merge] lp:~widelands-dev/widelands/bug-1696702-fuzzy-building-plots into lp:widelands
  From: Klaus Halfmann, 2018-07-17
• Re: [Merge] lp:~widelands-dev/widelands/bug-1696702-fuzzy-building-plots into lp:widelands
  From: Klaus Halfmann, 2018-07-17
• Re: [Merge] lp:~widelands-dev/widelands/bug-1696702-fuzzy-building-plots into lp:widelands
  From: GunChleoc, 2018-07-18
• [Merge] lp:~widelands-dev/widelands/bug-1696702-fuzzy-building-plots into lp:widelands
  From: bunnybot, 2018-07-18
• [Merge] lp:~widelands-dev/widelands/bug-1696702-fuzzy-building-plots into lp:widelands
  From: bunnybot, 2018-07-18
• [Merge] lp:~widelands-dev/widelands/bug-1696702-fuzzy-building-plots into lp:widelands
  From: bunnybot, 2018-07-19
• Re: [Merge] lp:~widelands-dev/widelands/bug-1696702-fuzzy-building-plots into lp:widelands
  From: GunChleoc, 2018-07-20
• [Merge] lp:~widelands-dev/widelands/bug-1696702-fuzzy-building-plots into lp:widelands
  From: noreply, 2018-07-20
• [Merge] lp:~widelands-dev/widelands-website/django1_11 into lp:widelands-website
  From: kaputtnik, 2018-04-12
• Re: [Merge] lp:~widelands-dev/widelands-website/django1_11 into lp:widelands-website
  From: kaputtnik, 2018-04-15
• Re: [Merge] lp:~widelands-dev/widelands-website/django1_11 into lp:widelands-website
  From: kaputtnik, 2018-04-15
• Re: [Merge] lp:~widelands-dev/widelands-website/django1_11 into lp:widelands-website
  From: SirVer, 2018-04-15
• Re: [Merge] lp:~widelands-dev/widelands-website/django1_11 into lp:widelands-website
  From: kaputtnik, 2018-04-15
• Re: [Merge] lp:~widelands-dev/widelands-website/django1_11 into lp:widelands-website
  From: kaputtnik, 2018-04-16
• [Merge] lp:~widelands-dev/widelands-website/django1_11 into lp:widelands-website
  From: kaputtnik, 2018-04-16
• Re: [Merge] lp:~widelands-dev/widelands-website/django1_11 into lp:widelands-website
  From: GunChleoc, 2018-04-18
• Re: [Merge] lp:~widelands-dev/widelands-website/django1_11 into lp:widelands-website
  From: kaputtnik, 2018-04-18
• Re: [Merge] lp:~widelands-dev/widelands-website/django1_11 into lp:widelands-website
  From: GunChleoc, 2018-04-18
• Re: [Merge] lp:~widelands-dev/widelands-website/django1_11 into lp:widelands-website
  From: kaputtnik, 2018-04-18
• [Merge] lp:~widelands-dev/widelands-website/django1_11 into lp:widelands-website
  From: kaputtnik, 2018-04-18
• Re: [Merge] lp:~widelands-dev/widelands-website/django1_11 into lp:widelands-website
  From: kaputtnik, 2018-04-18
• Re: [Merge] lp:~widelands-dev/widelands-website/django1_11 into lp:widelands-website
  From: kaputtnik, 2018-04-19
• Re: [Merge] lp:~widelands-dev/widelands-website/django1_11 into lp:widelands-website
  From: GunChleoc, 2018-04-20
• Re: [Merge] lp:~widelands-dev/widelands-website/django1_11 into lp:widelands-website
  From: kaputtnik, 2018-04-20
• Re: [Merge] lp:~widelands-dev/widelands-website/django1_11 into lp:widelands-website
  From: GunChleoc, 2018-04-20
• Re: [Merge] lp:~widelands-dev/widelands-website/django1_11 into lp:widelands-website
  From: kaputtnik, 2018-04-21
• Re: [Merge] lp:~widelands-dev/widelands-website/django1_11 into lp:widelands-website
  From: kaputtnik, 2018-04-25
• Re: [Merge] lp:~widelands-dev/widelands-website/django1_11 into lp:widelands-website
  From: kaputtnik, 2018-04-25
• [Merge] lp:~widelands-dev/widelands-website/django1_11 into lp:widelands-website
  From: noreply, 2018-04-26
• Re: [Merge] lp:~widelands-dev/widelands-website/django1_11 into lp:widelands-website
  From: kaputtnik, 2018-04-26
• Re: [Merge] lp:~widelands-dev/widelands-website/django1_11 into lp:widelands-website
  From: GunChleoc, 2018-04-27
• Re: [Merge] lp:~widelands-dev/widelands-website/django1_11 into lp:widelands-website
  From: kaputtnik, 2018-04-27
• [Merge] lp:~widelands-dev/widelands/allows_seafaring_performance into lp:widelands
  From: GunChleoc, 2018-04-11
• [Merge] lp:~widelands-dev/widelands/allows_seafaring_performance into lp:widelands
  From: bunnybot, 2018-04-11
• Re: [Merge] lp:~widelands-dev/widelands/allows_seafaring_performance into lp:widelands
  From: Klaus Halfmann, 2018-04-11
• Re: [Merge] lp:~widelands-dev/widelands/allows_seafaring_performance into lp:widelands
  From: GunChleoc, 2018-04-11
• Re: [Merge] lp:~widelands-dev/widelands/allows_seafaring_performance into lp:widelands
  From: Klaus Halfmann, 2018-04-11
• [Merge] lp:~widelands-dev/widelands/allows_seafaring_performance into lp:widelands
  From: noreply, 2018-04-11
• Re: [Merge] lp:~widelands-dev/widelands/allows_seafaring_performance into lp:widelands
  From: kaputtnik, 2018-04-12
• [Merge] lp:~widelands-dev/widelands/ai_new_wai_files_08042018 into lp:widelands
  From: TiborB, 2018-04-08
• Re: [Merge] lp:~widelands-dev/widelands/ai_new_wai_files_08042018 into lp:widelands
  From: GunChleoc, 2018-04-08
• [Merge] lp:~widelands-dev/widelands/ai_new_wai_files_08042018 into lp:widelands
  From: bunnybot, 2018-04-09
• [Merge] lp:~widelands-dev/widelands/ai_new_wai_files_08042018 into lp:widelands
  From: noreply, 2018-04-09
• [Merge] lp:~widelands-dev/widelands/ai_scoring_update into lp:widelands
  From: TiborB, 2018-04-07
• [Merge] lp:~widelands-dev/widelands/ai_scoring_update into lp:widelands
  From: bunnybot, 2018-04-08
• Re: [Merge] lp:~widelands-dev/widelands/ai_scoring_update into lp:widelands
  From: GunChleoc, 2018-04-08
• Re: [Merge] lp:~widelands-dev/widelands/ai_scoring_update into lp:widelands
  From: TiborB, 2018-04-08
• [Merge] lp:~widelands-dev/widelands/ai_scoring_update into lp:widelands
  From: noreply, 2018-04-08
• Re: [Merge] lp:~widelands-dev/widelands/update_copyright_to_2018 into lp:widelands
  From: GunChleoc, 2018-04-07
• [Merge] lp:~widelands-dev/widelands/update_copyright_to_2018 into lp:widelands
  From: GunChleoc, 2018-04-07
• [Merge] lp:~widelands-dev/widelands/update_copyright_to_2018 into lp:widelands
  From: bunnybot, 2018-04-07
• [Merge] lp:~widelands-dev/widelands/update_copyright_to_2018 into lp:widelands
  From: bunnybot, 2018-04-07
• Re: [Merge] lp:~widelands-dev/widelands/update_copyright_to_2018 into lp:widelands
  From: GunChleoc, 2018-04-08
• [Merge] lp:~widelands-dev/widelands/update_copyright_to_2018 into lp:widelands
  From: noreply, 2018-04-08
• [Merge] lp:~widelands-dev/widelands/smaller_building_statistics into lp:widelands
  From: GunChleoc, 2018-04-07
• [Merge] lp:~widelands-dev/widelands/smaller_building_statistics into lp:widelands
  From: GunChleoc, 2018-04-07
• [Merge] lp:~widelands-dev/widelands/smaller_building_statistics into lp:widelands
  From: bunnybot, 2018-04-08
• Re: [Merge] lp:~widelands-dev/widelands/smaller_building_statistics into lp:widelands
  From: Klaus Halfmann, 2018-04-08
• Re: [Merge] lp:~widelands-dev/widelands/smaller_building_statistics into lp:widelands
  From: Klaus Halfmann, 2018-04-08
• Re: [Merge] lp:~widelands-dev/widelands/smaller_building_statistics into lp:widelands
  From: GunChleoc, 2018-04-09
• Re: [Merge] lp:~widelands-dev/widelands/smaller_building_statistics into lp:widelands
  From: GunChleoc, 2018-04-10
• Re: [Merge] lp:~widelands-dev/widelands/smaller_building_statistics into lp:widelands
  From: Klaus Halfmann, 2018-04-10
• Re: [Merge] lp:~widelands-dev/widelands/smaller_building_statistics into lp:widelands
  From: GunChleoc, 2018-04-11
• Re: [Merge] lp:~widelands-dev/widelands/smaller_building_statistics into lp:widelands
  From: Klaus Halfmann, 2018-04-13
• Re: [Merge] lp:~widelands-dev/widelands/smaller_building_statistics into lp:widelands
  From: Klaus Halfmann, 2018-04-14
• Re: [Merge] lp:~widelands-dev/widelands/smaller_building_statistics into lp:widelands
  From: Klaus Halfmann, 2018-04-15
• [Merge] lp:~widelands-dev/widelands/smaller_building_statistics into lp:widelands
  From: noreply, 2018-04-15
• Re: [Merge] lp:~widelands-dev/widelands/smaller_building_statistics into lp:widelands
  From: GunChleoc, 2018-04-15
• [Merge] lp:~widelands-dev/widelands/bug-1615826-constructionsite-help into lp:widelands
  From: GunChleoc, 2018-04-05
• [Merge] lp:~widelands-dev/widelands/bug-1615826-constructionsite-help into lp:widelands
  From: bunnybot, 2018-04-05
• Re: [Merge] lp:~widelands-dev/widelands/bug-1615826-constructionsite-help into lp:widelands
  From: Klaus Halfmann, 2018-04-05
• Re: [Merge] lp:~widelands-dev/widelands/bug-1615826-constructionsite-help into lp:widelands
  From: Klaus Halfmann, 2018-04-05
• [Merge] lp:~widelands-dev/widelands/bug-1615826-constructionsite-help into lp:widelands
  From: noreply, 2018-04-05
• [Merge] lp:~widelands-dev/widelands/frisians_string_fixes into lp:widelands
  From: GunChleoc, 2018-04-05
• [Merge] lp:~widelands-dev/widelands/frisians_string_fixes into lp:widelands
  From: bunnybot, 2018-04-05
• Re: [Merge] lp:~widelands-dev/widelands/frisians_string_fixes into lp:widelands
  From: Benedikt Straub, 2018-04-05
• Re: [Merge] lp:~widelands-dev/widelands/frisians_string_fixes into lp:widelands
  From: GunChleoc, 2018-04-06
• [Merge] lp:~widelands-dev/widelands/frisians_string_fixes into lp:widelands
  From: noreply, 2018-04-06
• [Merge] lp:~widelands-dev/widelands/ai_mineable_buildable into lp:widelands
  From: TiborB, 2018-04-03
• [Merge] lp:~widelands-dev/widelands/ai_mineable_buildable into lp:widelands
  From: bunnybot, 2018-04-04
• Re: [Merge] lp:~widelands-dev/widelands/ai_mineable_buildable into lp:widelands
  From: hessenfarmer, 2018-04-04

 •  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