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/clang-tidy-round1 into lp:widelands, (continued)
  • [Merge] lp:~widelands-dev/widelands/clang-tidy-round1 into lp:widelands
    From: bunnybot, 2017-11-12
  • [Merge] lp:~widelands-dev/widelands/clang-tidy-round1 into lp:widelands
    From: noreply, 2017-11-12
• [Merge] lp:~widelands-dev/widelands/bug-1730169-document-ai-hints into lp:widelands
  From: GunChleoc, 2017-11-10
• [Merge] lp:~widelands-dev/widelands/bug-1730169-document-ai-hints into lp:widelands
  From: bunnybot, 2017-11-10
• Re: [Merge] lp:~widelands-dev/widelands/bug-1730169-document-ai-hints into lp:widelands
  From: GunChleoc, 2017-11-30
• [Merge] lp:~widelands-dev/widelands/bug-1730169-document-ai-hints into lp:widelands
  From: noreply, 2017-11-30
• [Merge] lp:~widelands-dev/widelands-website/pm_menus_overhaul into lp:widelands-website
  From: kaputtnik, 2017-11-08
• Re: [Merge] lp:~widelands-dev/widelands-website/pm_menus_overhaul into lp:widelands-website
  From: kaputtnik, 2017-11-09
• Re: [Merge] lp:~widelands-dev/widelands-website/pm_menus_overhaul into lp:widelands-website
  From: GunChleoc, 2017-11-09
• [Merge] lp:~widelands-dev/widelands-website/pm_menus_overhaul into lp:widelands-website
  From: noreply, 2017-11-09
• Re: [Merge] lp:~widelands-dev/widelands-website/pm_menus_overhaul into lp:widelands-website
  From: kaputtnik, 2017-11-09
• [Merge] lp:~widelands-dev/widelands/clang-tidy into lp:widelands
  From: GunChleoc, 2017-11-08
• [Merge] lp:~widelands-dev/widelands/clang-tidy into lp:widelands
  From: bunnybot, 2017-11-09
• Re: [Merge] lp:~widelands-dev/widelands/clang-tidy into lp:widelands
  From: GunChleoc, 2017-11-09
• [Merge] lp:~widelands-dev/widelands/clang-tidy into lp:widelands
  From: noreply, 2017-11-09
• [Merge] lp:~widelands-dev/widelands/bug-1718745-allows-seafaring into lp:widelands
  From: GunChleoc, 2017-11-05
• Re: [Merge] lp:~widelands-dev/widelands/bug-1718745-allows-seafaring into lp:widelands
  From: TiborB, 2017-11-05
• Re: [Merge] lp:~widelands-dev/widelands/bug-1718745-allows-seafaring into lp:widelands
  From: GunChleoc, 2017-11-05
• [Merge] lp:~widelands-dev/widelands/bug-1718745-allows-seafaring into lp:widelands
  From: bunnybot, 2017-11-05
• [Merge] lp:~widelands-dev/widelands/bug-1718745-allows-seafaring into lp:widelands
  From: GunChleoc, 2017-11-06
• <Possible follow-ups>
• [Merge] lp:~widelands-dev/widelands/bug-1718745-allows-seafaring into lp:widelands
  From: GunChleoc, 2017-11-06
• Re: [Merge] lp:~widelands-dev/widelands/bug-1718745-allows-seafaring into lp:widelands
  From: GunChleoc, 2017-11-06
• [Merge] lp:~widelands-dev/widelands/bug-1718745-allows-seafaring into lp:widelands
  From: bunnybot, 2017-11-06
• Re: [Merge] lp:~widelands-dev/widelands/bug-1718745-allows-seafaring into lp:widelands
  From: GunChleoc, 2017-11-07
• [Merge] lp:~widelands-dev/widelands/bug-1718745-allows-seafaring into lp:widelands
  From: bunnybot, 2017-11-07
• [Merge] lp:~widelands-dev/widelands/bug-1718745-allows-seafaring into lp:widelands
  From: bunnybot, 2017-12-03
• Re: [Merge] lp:~widelands-dev/widelands/bug-1718745-allows-seafaring into lp:widelands
  From: TiborB, 2017-12-04
• Re: [Merge] lp:~widelands-dev/widelands/bug-1718745-allows-seafaring into lp:widelands
  From: GunChleoc, 2017-12-06
• [Merge] lp:~widelands-dev/widelands/bug-1718745-allows-seafaring into lp:widelands
  From: bunnybot, 2017-12-06
• Re: [Merge] lp:~widelands-dev/widelands/bug-1718745-allows-seafaring into lp:widelands
  From: TiborB, 2017-12-06
• Re: [Merge] lp:~widelands-dev/widelands/bug-1718745-allows-seafaring into lp:widelands
  From: GunChleoc, 2017-12-06
• Re: [Merge] lp:~widelands-dev/widelands/bug-1718745-allows-seafaring into lp:widelands
  From: TiborB, 2017-12-06
• [Merge] lp:~widelands-dev/widelands/bug-1718745-allows-seafaring into lp:widelands
  From: bunnybot, 2017-12-06
• Re: [Merge] lp:~widelands-dev/widelands/bug-1718745-allows-seafaring into lp:widelands
  From: GunChleoc, 2017-12-07
• Re: [Merge] lp:~widelands-dev/widelands/bug-1718745-allows-seafaring into lp:widelands
  From: TiborB, 2017-12-07
• Re: [Merge] lp:~widelands-dev/widelands/bug-1718745-allows-seafaring into lp:widelands
  From: GunChleoc, 2017-12-07
• Re: [Merge] lp:~widelands-dev/widelands/bug-1718745-allows-seafaring into lp:widelands
  From: TiborB, 2017-12-08
• Re: [Merge] lp:~widelands-dev/widelands/bug-1718745-allows-seafaring into lp:widelands
  From: GunChleoc, 2017-12-08
• Re: [Merge] lp:~widelands-dev/widelands/bug-1718745-allows-seafaring into lp:widelands
  From: TiborB, 2017-12-08
• Re: [Merge] lp:~widelands-dev/widelands/bug-1718745-allows-seafaring into lp:widelands
  From: GunChleoc, 2017-12-09
• Re: [Merge] lp:~widelands-dev/widelands/bug-1718745-allows-seafaring into lp:widelands
  From: TiborB, 2017-12-09
• Re: [Merge] lp:~widelands-dev/widelands/bug-1718745-allows-seafaring into lp:widelands
  From: TiborB, 2017-12-09
• Re: [Merge] lp:~widelands-dev/widelands/bug-1718745-allows-seafaring into lp:widelands
  From: GunChleoc, 2017-12-10
• Re: [Merge] lp:~widelands-dev/widelands/bug-1718745-allows-seafaring into lp:widelands
  From: TiborB, 2017-12-10
• Re: [Merge] lp:~widelands-dev/widelands/bug-1718745-allows-seafaring into lp:widelands
  From: GunChleoc, 2017-12-11
• [Merge] lp:~widelands-dev/widelands/bug-1718745-allows-seafaring into lp:widelands
  From: GunChleoc, 2017-12-11
• [Merge] lp:~widelands-dev/widelands/bug-1718745-allows-seafaring into lp:widelands
  From: bunnybot, 2017-12-11
• [Merge] lp:~widelands-dev/widelands/bug-1718745-allows-seafaring into lp:widelands
  From: GunChleoc, 2017-12-11
• Re: [Merge] lp:~widelands-dev/widelands/bug-1718745-allows-seafaring into lp:widelands
  From: GunChleoc, 2017-12-11
• [Merge] lp:~widelands-dev/widelands/bug-1718745-allows-seafaring into lp:widelands
  From: noreply, 2017-12-11
• [Merge] lp:~widelands-dev/widelands/bug-1729856 into lp:widelands
  From: TiborB, 2017-11-04
• [Merge] lp:~widelands-dev/widelands/bug-1729856 into lp:widelands
  From: bunnybot, 2017-11-05
• Re: [Merge] lp:~widelands-dev/widelands/bug-1729856 into lp:widelands
  From: GunChleoc, 2017-11-05
• [Merge] lp:~widelands-dev/widelands/bug-1729856 into lp:widelands
  From: GunChleoc, 2017-11-05
• Re: [Merge] lp:~widelands-dev/widelands/bug-1729856 into lp:widelands
  From: TiborB, 2017-11-05
• Re: [Merge] lp:~widelands-dev/widelands/bug-1729856 into lp:widelands
  From: GunChleoc, 2017-11-06
• [Merge] lp:~widelands-dev/widelands/bug-1729856 into lp:widelands
  From: noreply, 2017-11-06
• [Merge] lp:~widelands-dev/widelands/bug-1716166-ai-strength-assert into lp:widelands
  From: GunChleoc, 2017-11-03
• [Merge] lp:~widelands-dev/widelands/bug-1716166-ai-strength-assert into lp:widelands
  From: bunnybot, 2017-11-04
• Re: [Merge] lp:~widelands-dev/widelands/bug-1716166-ai-strength-assert into lp:widelands
  From: TiborB, 2017-11-04
• Re: [Merge] lp:~widelands-dev/widelands/bug-1716166-ai-strength-assert into lp:widelands
  From: GunChleoc, 2017-11-05
• [Merge] lp:~widelands-dev/widelands/bug-1716166-ai-strength-assert into lp:widelands
  From: bunnybot, 2017-11-05
• [Merge] lp:~widelands-dev/widelands/bug-1716166-ai-strength-assert into lp:widelands
  From: noreply, 2017-11-05
• [Merge] lp:~widelands-dev/widelands/bug-1728006 into lp:widelands
  From: TiborB, 2017-11-01
• [Merge] lp:~widelands-dev/widelands/bug-1728006 into lp:widelands
  From: GunChleoc, 2017-11-02
• Re: [Merge] lp:~widelands-dev/widelands/bug-1728006 into lp:widelands
  From: GunChleoc, 2017-11-02
• Re: [Merge] lp:~widelands-dev/widelands/bug-1728006 into lp:widelands
  From: TiborB, 2017-11-02
• [Merge] lp:~widelands-dev/widelands/bug-1728006 into lp:widelands
  From: bunnybot, 2017-11-03
• Re: [Merge] lp:~widelands-dev/widelands/bug-1728006 into lp:widelands
  From: GunChleoc, 2017-11-03
• [Merge] lp:~widelands-dev/widelands/bug-1728006 into lp:widelands
  From: noreply, 2017-11-03
• [Merge] lp:~widelands-dev/widelands-website/media_cleanup into lp:widelands-website
  From: kaputtnik, 2017-11-01
• Re: [Merge] lp:~widelands-dev/widelands-website/media_cleanup into lp:widelands-website
  From: GunChleoc, 2017-11-02
• Re: [Merge] lp:~widelands-dev/widelands-website/media_cleanup into lp:widelands-website
  From: kaputtnik, 2017-11-02
• [Merge] lp:~widelands-dev/widelands-website/media_cleanup into lp:widelands-website
  From: noreply, 2017-11-02
• Re: [Merge] lp:~widelands-dev/widelands-website/media_cleanup into lp:widelands-website
  From: kaputtnik, 2017-11-02
• [Merge] lp:~widelands-dev/widelands/ai_variables_rework into lp:widelands
  From: TiborB, 2017-10-31
• [Merge] lp:~widelands-dev/widelands/ai_variables_rework into lp:widelands
  From: bunnybot, 2017-10-31
• Re: [Merge] lp:~widelands-dev/widelands/ai_variables_rework into lp:widelands
  From: GunChleoc, 2017-11-01
• Re: [Merge] lp:~widelands-dev/widelands/ai_variables_rework into lp:widelands
  From: TiborB, 2017-11-01
• Re: [Merge] lp:~widelands-dev/widelands/ai_variables_rework into lp:widelands
  From: GunChleoc, 2017-11-02
• Re: [Merge] lp:~widelands-dev/widelands/ai_variables_rework into lp:widelands
  From: TiborB, 2017-11-02
• [Merge] lp:~widelands-dev/widelands/ai_variables_rework into lp:widelands
  From: bunnybot, 2017-11-03
• Re: [Merge] lp:~widelands-dev/widelands/ai_variables_rework into lp:widelands
  From: GunChleoc, 2017-11-03
• [Merge] lp:~widelands-dev/widelands/ai_variables_rework into lp:widelands
  From: bunnybot, 2017-11-03
• Re: [Merge] lp:~widelands-dev/widelands/ai_variables_rework into lp:widelands
  From: GunChleoc, 2017-11-03
• [Merge] lp:~widelands-dev/widelands/ai_variables_rework into lp:widelands
  From: TiborB, 2017-11-03
• Re: [Merge] lp:~widelands-dev/widelands/ai_variables_rework into lp:widelands
  From: TiborB, 2017-11-03
• [Merge] lp:~widelands-dev/widelands/ai_variables_rework into lp:widelands
  From: bunnybot, 2017-11-03
• [Merge] lp:~widelands-dev/widelands/ai_variables_rework into lp:widelands
  From: noreply, 2017-11-03
• [Merge] lp:~widelands-dev/widelands-website/read_changelog_utf8 into lp:widelands-website
  From: kaputtnik, 2017-10-30
• Re: [Merge] lp:~widelands-dev/widelands-website/read_changelog_utf8 into lp:widelands-website
  From: GunChleoc, 2017-11-02
• Re: [Merge] lp:~widelands-dev/widelands-website/read_changelog_utf8 into lp:widelands-website
  From: kaputtnik, 2017-11-02
• [Merge] lp:~widelands-dev/widelands-website/read_changelog_utf8 into lp:widelands-website
  From: noreply, 2017-11-02
• Re: [Merge] lp:~widelands-dev/widelands-website/read_changelog_utf8 into lp:widelands-website
  From: kaputtnik, 2017-11-02
• Re: [Merge] lp:~widelands-dev/widelands-website/read_changelog_utf8 into lp:widelands-website
  From: kaputtnik, 2017-11-02
• [Merge] lp:~widelands-dev/widelands-website/fix_code_in_blockquotes into lp:widelands-website
  From: kaputtnik, 2017-10-29
• [Merge] lp:~widelands-dev/widelands-website/fix_code_in_blockquotes into lp:widelands-website
  From: kaputtnik, 2017-10-30
• Re: [Merge] lp:~widelands-dev/widelands-website/fix_code_in_blockquotes into lp:widelands-website
  From: kaputtnik, 2017-10-31
• [Merge] lp:~widelands-dev/widelands/bug-appveyor-libicu into lp:widelands
  From: Notabilis, 2017-10-28
• [Merge] lp:~widelands-dev/widelands/bug-appveyor-libicu into lp:widelands
  From: bunnybot, 2017-10-28
• [Merge] lp:~widelands-dev/widelands/bug-1075562-initial-trainers into lp:widelands
  From: Notabilis, 2017-10-28
• Re: [Merge] lp:~widelands-dev/widelands/bug-1075562-initial-trainers into lp:widelands
  From: kaputtnik, 2017-10-28
• Re: [Merge] lp:~widelands-dev/widelands/bug-1075562-initial-trainers into lp:widelands
  From: GunChleoc, 2017-10-28
• Re: [Merge] lp:~widelands-dev/widelands/bug-1075562-initial-trainers into lp:widelands
  From: Klaus Halfmann, 2017-10-28
• Re: [Merge] lp:~widelands-dev/widelands/bug-1075562-initial-trainers into lp:widelands
  From: kaputtnik, 2017-10-28
• [Merge] lp:~widelands-dev/widelands/bug-1075562-initial-trainers into lp:widelands
  From: bunnybot, 2017-10-28
• Re: [Merge] lp:~widelands-dev/widelands/bug-1075562-initial-trainers into lp:widelands
  From: Klaus Halfmann, 2017-10-28
• [Merge] lp:~widelands-dev/widelands/bug-1075562-initial-trainers into lp:widelands
  From: Notabilis, 2017-10-28
• Re: [Merge] lp:~widelands-dev/widelands/bug-1075562-initial-trainers into lp:widelands
  From: Notabilis, 2017-10-28
• Re: [Merge] lp:~widelands-dev/widelands/bug-1075562-initial-trainers into lp:widelands
  From: TiborB, 2017-10-28
• Re: [Merge] lp:~widelands-dev/widelands/bug-1075562-initial-trainers into lp:widelands
  From: kaputtnik, 2017-10-29
• [Merge] lp:~widelands-dev/widelands/bug-1075562-initial-trainers into lp:widelands
  From: noreply, 2017-10-29
• [Merge] lp:~widelands-dev/widelands/bug-1727673 into lp:widelands
  From: TiborB, 2017-10-27
• [Merge] lp:~widelands-dev/widelands/bug-1727673 into lp:widelands
  From: bunnybot, 2017-10-28
• Re: [Merge] lp:~widelands-dev/widelands/bug-1727673 into lp:widelands
  From: GunChleoc, 2017-10-28
• Re: [Merge] lp:~widelands-dev/widelands/bug-1727673 into lp:widelands
  From: TiborB, 2017-10-28
• Re: [Merge] lp:~widelands-dev/widelands/bug-1727673 into lp:widelands
  From: GunChleoc, 2017-11-01
• [Merge] lp:~widelands-dev/widelands/bug-1727673 into lp:widelands
  From: noreply, 2017-11-01
• Re: [Merge] lp:~widelands-dev/widelands/bug-1727673 into lp:widelands
  From: TiborB, 2017-11-01
• Re: [Merge] lp:~widelands-dev/widelands/bug-1727673 into lp:widelands
  From: GunChleoc, 2017-11-02
• [Merge] lp:~widelands-dev/widelands-website/anti_spambot into lp:widelands-website
  From: kaputtnik, 2017-10-27
• Re: [Merge] lp:~widelands-dev/widelands-website/anti_spambot into lp:widelands-website
  From: GunChleoc, 2017-10-27
• [Merge] lp:~widelands-dev/widelands-website/anti_spambot into lp:widelands-website
  From: noreply, 2017-10-27
• Re: [Merge] lp:~widelands-dev/widelands-website/anti_spambot into lp:widelands-website
  From: kaputtnik, 2017-10-27
• [Merge] lp:~hjd/widelands/macos-brew-update-workaround into lp:widelands
  From: Hans Joachim Desserud, 2017-10-24
• [Merge] lp:~hjd/widelands/macos-brew-update-workaround into lp:widelands
  From: bunnybot, 2017-10-25
• Re: [Merge] lp:~hjd/widelands/macos-brew-update-workaround into lp:widelands
  From: SirVer, 2017-10-25
• [Merge] lp:~hjd/widelands/macos-brew-update-workaround into lp:widelands
  From: noreply, 2017-10-25
• [Merge] lp:~widelands-dev/widelands/fix_work_area_preview into lp:widelands
  From: SirVer, 2017-10-24
• Re: [Merge] lp:~widelands-dev/widelands/fix_work_area_preview into lp:widelands
  From: GunChleoc, 2017-10-24
• [Merge] lp:~widelands-dev/widelands/fix_work_area_preview into lp:widelands
  From: bunnybot, 2017-10-24
• Re: [Merge] lp:~widelands-dev/widelands/fix_work_area_preview into lp:widelands
  From: SirVer, 2017-10-24
• Re: [Merge] lp:~widelands-dev/widelands/fix_work_area_preview into lp:widelands
  From: GunChleoc, 2017-10-25
• [Merge] lp:~widelands-dev/widelands/fix_work_area_preview into lp:widelands
  From: bunnybot, 2017-10-25
• [Merge] lp:~widelands-dev/widelands/fix_work_area_preview into lp:widelands
  From: bunnybot, 2017-10-25
• Re: [Merge] lp:~widelands-dev/widelands/fix_work_area_preview into lp:widelands
  From: SirVer, 2017-10-25
• [Merge] lp:~widelands-dev/widelands/fix_work_area_preview into lp:widelands
  From: noreply, 2017-10-25
• [Merge] lp:~widelands-dev/widelands/ai_small_requests into lp:widelands
  From: TiborB, 2017-10-19
• [Merge] lp:~widelands-dev/widelands/ai_small_requests into lp:widelands
  From: bunnybot, 2017-10-19
• Re: [Merge] lp:~widelands-dev/widelands/ai_small_requests into lp:widelands
  From: kaputtnik, 2017-10-30
• [Merge] lp:~widelands-dev/widelands/ai_small_requests into lp:widelands
  From: TiborB, 2017-10-30
• Re: [Merge] lp:~widelands-dev/widelands/ai_small_requests into lp:widelands
  From: GunChleoc, 2017-11-02
• Re: [Merge] lp:~widelands-dev/widelands/ai_small_requests into lp:widelands
  From: TiborB, 2017-11-02
• Re: [Merge] lp:~widelands-dev/widelands/ai_small_requests into lp:widelands
  From: GunChleoc, 2017-11-03
• Re: [Merge] lp:~widelands-dev/widelands/ai_small_requests into lp:widelands
  From: kaputtnik, 2017-11-03
• Re: [Merge] lp:~widelands-dev/widelands/ai_small_requests into lp:widelands
  From: TiborB, 2017-11-03
• [Merge] lp:~widelands-dev/widelands/ai_small_requests into lp:widelands
  From: bunnybot, 2017-11-03
• Re: [Merge] lp:~widelands-dev/widelands/ai_small_requests into lp:widelands
  From: GunChleoc, 2017-11-03
• [Merge] lp:~widelands-dev/widelands/ai_small_requests into lp:widelands
  From: bunnybot, 2017-11-03
• Re: [Merge] lp:~widelands-dev/widelands/ai_small_requests into lp:widelands
  From: GunChleoc, 2017-11-04
• [Merge] lp:~widelands-dev/widelands/ai_small_requests into lp:widelands
  From: bunnybot, 2017-11-04
• Re: [Merge] lp:~widelands-dev/widelands/ai_small_requests into lp:widelands
  From: GunChleoc, 2017-11-04
• [Merge] lp:~widelands-dev/widelands/ai_small_requests into lp:widelands
  From: bunnybot, 2017-11-04
• [Merge] lp:~widelands-dev/widelands/ai_small_requests into lp:widelands
  From: noreply, 2017-11-04
• [Merge] lp:~widelands-dev/widelands/nethost-split into lp:widelands
  From: Notabilis, 2017-10-17
• Re: [Merge] lp:~widelands-dev/widelands/nethost-split into lp:widelands
  From: GunChleoc, 2017-10-21
• Re: [Merge] lp:~widelands-dev/widelands/nethost-split into lp:widelands
  From: GunChleoc, 2017-10-25
• Re: [Merge] lp:~widelands-dev/widelands/nethost-split into lp:widelands
  From: Notabilis, 2017-10-25
• Re: [Merge] lp:~widelands-dev/widelands/nethost-split into lp:widelands
  From: GunChleoc, 2017-10-28
• Re: [Merge] lp:~widelands-dev/widelands/nethost-split into lp:widelands
  From: kaputtnik, 2017-10-30
• [Merge] lp:~widelands-dev/widelands/nethost-split into lp:widelands
  From: bunnybot, 2017-10-31
• [Merge] lp:~widelands-dev/widelands/nethost-split into lp:widelands
  From: noreply, 2017-10-31
• [Merge] lp:~widelands-dev/widelands-website/settings_unicode into lp:widelands-website
  From: kaputtnik, 2017-10-17
• Re: [Merge] lp:~widelands-dev/widelands-website/settings_unicode into lp:widelands-website
  From: kaputtnik, 2017-10-18
• Re: [Merge] lp:~widelands-dev/widelands-website/settings_unicode into lp:widelands-website
  From: SirVer, 2017-10-18
• [Merge] lp:~widelands-dev/widelands-website/settings_unicode into lp:widelands-website
  From: noreply, 2017-10-18
• Re: [Merge] lp:~widelands-dev/widelands-website/settings_unicode into lp:widelands-website
  From: kaputtnik, 2017-10-18
• [Merge] lp:~widelands-dev/widelands/net-uuid into lp:widelands
  From: Notabilis, 2017-10-13
• [Merge] lp:~widelands-dev/widelands/net-uuid into lp:widelands
  From: bunnybot, 2017-10-13
• Re: [Merge] lp:~widelands-dev/widelands/net-uuid into lp:widelands
  From: GunChleoc, 2017-11-02
• Re: [Merge] lp:~widelands-dev/widelands/net-uuid into lp:widelands
  From: Notabilis, 2017-11-03
• [Merge] lp:~widelands-dev/widelands/net-uuid into lp:widelands
  From: bunnybot, 2017-11-04
• Re: [Merge] lp:~widelands-dev/widelands/net-uuid into lp:widelands
  From: GunChleoc, 2017-11-04
• Re: [Merge] lp:~widelands-dev/widelands/net-uuid into lp:widelands
  From: Notabilis, 2017-11-05
• Re: [Merge] lp:~widelands-dev/widelands/net-uuid into lp:widelands
  From: GunChleoc, 2017-11-06
• Re: [Merge] lp:~widelands-dev/widelands/net-uuid into lp:widelands
  From: SirVer, 2017-11-22
• Re: [Merge] lp:~widelands-dev/widelands/net-uuid into lp:widelands
  From: Notabilis, 2017-11-24
• [Merge] lp:~widelands-dev/widelands/net-uuid into lp:widelands
  From: bunnybot, 2017-11-25
• Re: [Merge] lp:~widelands-dev/widelands/net-uuid into lp:widelands
  From: SirVer, 2017-11-25
• Re: [Merge] lp:~widelands-dev/widelands/net-uuid into lp:widelands
  From: Notabilis, 2017-11-25
• Re: [Merge] lp:~widelands-dev/widelands/net-uuid into lp:widelands
  From: SirVer, 2017-11-25
• Re: [Merge] lp:~widelands-dev/widelands/net-uuid into lp:widelands
  From: Notabilis, 2017-11-25
• Re: [Merge] lp:~widelands-dev/widelands/net-uuid into lp:widelands
  From: SirVer, 2017-11-25
• Re: [Merge] lp:~widelands-dev/widelands/net-uuid into lp:widelands
  From: SirVer, 2017-11-25
• [Merge] lp:~widelands-dev/widelands/net-uuid into lp:widelands
  From: SirVer, 2017-11-25
• Re: [Merge] lp:~widelands-dev/widelands/net-uuid into lp:widelands
  From: SirVer, 2017-11-25
• [Merge] lp:~widelands-dev/widelands/net-uuid into lp:widelands
  From: bunnybot, 2017-11-25
• Re: [Merge] lp:~widelands-dev/widelands/net-uuid into lp:widelands
  From: SirVer, 2017-11-25
• Re: [Merge] lp:~widelands-dev/widelands/net-uuid into lp:widelands
  From: Notabilis, 2017-11-25
• Re: [Merge] lp:~widelands-dev/widelands/net-uuid into lp:widelands
  From: SirVer, 2017-11-26
• Re: [Merge] lp:~widelands-dev/widelands/net-uuid into lp:widelands
  From: SirVer, 2017-11-26
• [Merge] lp:~widelands-dev/widelands/net-uuid into lp:widelands
  From: bunnybot, 2017-11-26
• [Merge] lp:~widelands-dev/widelands/net-uuid into lp:widelands
  From: noreply, 2017-11-26
• Re: [Merge] lp:~widelands-dev/widelands/net-uuid into lp:widelands
  From: Notabilis, 2017-11-26
• [Merge] lp:~widelands-dev/widelands/translation_stats into lp:widelands
  From: GunChleoc, 2017-10-09
• [Merge] lp:~widelands-dev/widelands/translation_stats into lp:widelands
  From: bunnybot, 2017-10-10
• Re: [Merge] lp:~widelands-dev/widelands/translation_stats into lp:widelands
  From: kaputtnik, 2017-10-10
• Re: [Merge] lp:~widelands-dev/widelands/translation_stats into lp:widelands
  From: SirVer, 2017-10-23
• Re: [Merge] lp:~widelands-dev/widelands/translation_stats into lp:widelands
  From: GunChleoc, 2017-10-24
• Re: [Merge] lp:~widelands-dev/widelands/translation_stats into lp:widelands
  From: SirVer, 2017-10-24

 •  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