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/compiler_warnings_201802 into lp:widelands, (continued)
  • Re: [Merge] lp:~widelands-dev/widelands/compiler_warnings_201802 into lp:widelands
    From: GunChleoc, 2018-03-04
  • [Merge] lp:~widelands-dev/widelands/compiler_warnings_201802 into lp:widelands
    From: bunnybot, 2018-03-04
  • [Merge] lp:~widelands-dev/widelands/compiler_warnings_201802 into lp:widelands
    From: bunnybot, 2018-03-04
  • Re: [Merge] lp:~widelands-dev/widelands/compiler_warnings_201802 into lp:widelands
    From: GunChleoc, 2018-03-04
  • [Merge] lp:~widelands-dev/widelands/compiler_warnings_201802 into lp:widelands
    From: bunnybot, 2018-03-04
  • Re: [Merge] lp:~widelands-dev/widelands/compiler_warnings_201802 into lp:widelands
    From: GunChleoc, 2018-03-05
  • [Merge] lp:~widelands-dev/widelands/compiler_warnings_201802 into lp:widelands
    From: noreply, 2018-03-05
• [Merge] lp:~widelands-dev/widelands/bug-1738760-fh1-newlines into lp:widelands
  From: Notabilis, 2018-02-25
• Re: [Merge] lp:~widelands-dev/widelands/bug-1738760-fh1-newlines into lp:widelands
  From: GunChleoc, 2018-02-25
• [Merge] lp:~widelands-dev/widelands/bug-1738760-fh1-newlines into lp:widelands
  From: bunnybot, 2018-02-25
• [Merge] lp:~widelands-dev/widelands/bug-1738760-fh1-newlines into lp:widelands
  From: noreply, 2018-02-25
• Re: [Merge] lp:~widelands-dev/widelands/bug-1738760-fh1-newlines into lp:widelands
  From: Notabilis, 2018-02-25
• Re: [Merge] lp:~widelands-dev/widelands/bug-1738760-fh1-newlines into lp:widelands
  From: GunChleoc, 2018-02-26
• [Merge] lp:~widelands-dev/widelands/bug-1738553-zip-filesystem-overflow into lp:widelands
  From: GunChleoc, 2018-02-25
• <Possible follow-ups>
• [Merge] lp:~widelands-dev/widelands/bug-1738553-zip-filesystem-overflow into lp:widelands
  From: GunChleoc, 2018-02-25
• Re: [Merge] lp:~widelands-dev/widelands/bug-1738553-zip-filesystem-overflow into lp:widelands
  From: kaputtnik, 2018-02-25
• Re: [Merge] lp:~widelands-dev/widelands/bug-1738553-zip-filesystem-overflow into lp:widelands
  From: GunChleoc, 2018-02-25
• Re: [Merge] lp:~widelands-dev/widelands/bug-1738553-zip-filesystem-overflow into lp:widelands
  From: kaputtnik, 2018-02-25
• [Merge] lp:~widelands-dev/widelands/bug-1738553-zip-filesystem-overflow into lp:widelands
  From: bunnybot, 2018-02-25
• Re: [Merge] lp:~widelands-dev/widelands/bug-1738553-zip-filesystem-overflow into lp:widelands
  From: GunChleoc, 2018-02-26
• Re: [Merge] lp:~widelands-dev/widelands/bug-1738553-zip-filesystem-overflow into lp:widelands
  From: GunChleoc, 2018-02-26
• Re: [Merge] lp:~widelands-dev/widelands/bug-1738553-zip-filesystem-overflow into lp:widelands
  From: GunChleoc, 2018-03-03
• [Merge] lp:~widelands-dev/widelands/bug-1738553-zip-filesystem-overflow into lp:widelands
  From: noreply, 2018-03-03
• [Merge] lp:~widelands-dev/widelands/remove_deprecated_allow_autosaving into lp:widelands
  From: GunChleoc, 2018-02-25
• [Merge] lp:~widelands-dev/widelands/remove_deprecated_allow_autosaving into lp:widelands
  From: bunnybot, 2018-02-25
• Re: [Merge] lp:~widelands-dev/widelands/remove_deprecated_allow_autosaving into lp:widelands
  From: Notabilis, 2018-03-17
• Re: [Merge] lp:~widelands-dev/widelands/remove_deprecated_allow_autosaving into lp:widelands
  From: Klaus Halfmann, 2018-03-18
• Re: [Merge] lp:~widelands-dev/widelands/remove_deprecated_allow_autosaving into lp:widelands
  From: GunChleoc, 2018-03-18
• [Merge] lp:~widelands-dev/widelands/remove_deprecated_allow_autosaving into lp:widelands
  From: noreply, 2018-03-18
• [Merge] lp:~widelands-dev/widelands-website/bug-1750102_map_admin_page into lp:widelands-website
  From: kaputtnik, 2018-02-23
• Re: [Merge] lp:~widelands-dev/widelands-website/bug-1750102_map_admin_page into lp:widelands-website
  From: GunChleoc, 2018-02-23
• [Merge] lp:~widelands-dev/widelands-website/bug-1750102_map_admin_page into lp:widelands-website
  From: noreply, 2018-02-24
• [Merge] lp:~widelands-dev/widelands/ai_quarry_fix into lp:widelands
  From: TiborB, 2018-02-22
• [Merge] lp:~widelands-dev/widelands/ai_quarry_fix into lp:widelands
  From: bunnybot, 2018-02-23
• [Merge] lp:~widelands-dev/widelands/ai_quarry_fix into lp:widelands
  From: GunChleoc, 2018-02-23
• Re: [Merge] lp:~widelands-dev/widelands/ai_quarry_fix into lp:widelands
  From: GunChleoc, 2018-02-23
• [Merge] lp:~widelands-dev/widelands/ai_quarry_fix into lp:widelands
  From: noreply, 2018-02-23
• [Merge] lp:~widelands-dev/widelands/bug-1750561 into lp:widelands
  From: TiborB, 2018-02-20
• Re: [Merge] lp:~widelands-dev/widelands/bug-1750561 into lp:widelands
  From: TiborB, 2018-02-20
• [Merge] lp:~widelands-dev/widelands/bug-1750561 into lp:widelands
  From: bunnybot, 2018-02-21
• [Merge] lp:~widelands-dev/widelands/bug-1750561 into lp:widelands
  From: GunChleoc, 2018-02-21
• Re: [Merge] lp:~widelands-dev/widelands/bug-1750561 into lp:widelands
  From: GunChleoc, 2018-02-21
• Re: [Merge] lp:~widelands-dev/widelands/bug-1750561 into lp:widelands
  From: GunChleoc, 2018-02-23
• [Merge] lp:~widelands-dev/widelands/bug-1750561 into lp:widelands
  From: noreply, 2018-02-23
• [Merge] lp:~widelands-dev/widelands/bug-1750343-priorities-barracks into lp:widelands
  From: Notabilis, 2018-02-19
• Re: [Merge] lp:~widelands-dev/widelands/bug-1750343-priorities-barracks into lp:widelands
  From: GunChleoc, 2018-02-19
• [Merge] lp:~widelands-dev/widelands/bug-1750343-priorities-barracks into lp:widelands
  From: GunChleoc, 2018-02-19
• Re: [Merge] lp:~widelands-dev/widelands/bug-1750343-priorities-barracks into lp:widelands
  From: GunChleoc, 2018-02-19
• [Merge] lp:~widelands-dev/widelands/bug-1750343-priorities-barracks into lp:widelands
  From: bunnybot, 2018-02-19
• [Merge] lp:~widelands-dev/widelands/bug-1750343-priorities-barracks into lp:widelands
  From: noreply, 2018-02-19
• [Merge] lp:~widelands-dev/widelands/ai_fisher_identification into lp:widelands
  From: TiborB, 2018-02-17
• Re: [Merge] lp:~widelands-dev/widelands/ai_fisher_identification into lp:widelands
  From: TiborB, 2018-02-17
• Re: [Merge] lp:~widelands-dev/widelands/ai_fisher_identification into lp:widelands
  From: GunChleoc, 2018-02-18
• [Merge] lp:~widelands-dev/widelands/ai_fisher_identification into lp:widelands
  From: bunnybot, 2018-02-18
• Re: [Merge] lp:~widelands-dev/widelands/ai_fisher_identification into lp:widelands
  From: TiborB, 2018-02-18
• Re: [Merge] lp:~widelands-dev/widelands/ai_fisher_identification into lp:widelands
  From: GunChleoc, 2018-02-19
• Re: [Merge] lp:~widelands-dev/widelands/ai_fisher_identification into lp:widelands
  From: GunChleoc, 2018-02-19
• Re: [Merge] lp:~widelands-dev/widelands/ai_fisher_identification into lp:widelands
  From: hessenfarmer, 2018-02-19
• Re: [Merge] lp:~widelands-dev/widelands/ai_fisher_identification into lp:widelands
  From: TiborB, 2018-02-19
• Re: [Merge] lp:~widelands-dev/widelands/ai_fisher_identification into lp:widelands
  From: hessenfarmer, 2018-02-19
• Re: [Merge] lp:~widelands-dev/widelands/ai_fisher_identification into lp:widelands
  From: GunChleoc, 2018-02-19
• [Merge] lp:~widelands-dev/widelands/ai_fisher_identification into lp:widelands
  From: bunnybot, 2018-02-19
• [Merge] lp:~widelands-dev/widelands/ai_fisher_identification into lp:widelands
  From: GunChleoc, 2018-02-20
• Re: [Merge] lp:~widelands-dev/widelands/ai_fisher_identification into lp:widelands
  From: GunChleoc, 2018-02-20
• [Merge] lp:~widelands-dev/widelands/ai_fisher_identification into lp:widelands
  From: bunnybot, 2018-02-20
• [Merge] lp:~widelands-dev/widelands/ai_fisher_identification into lp:widelands
  From: noreply, 2018-02-20
• [Merge] lp:~widelands-dev/widelands/ai_colonization_update into lp:widelands
  From: TiborB, 2018-02-17
• Re: [Merge] lp:~widelands-dev/widelands/ai_colonization_update into lp:widelands
  From: GunChleoc, 2018-02-18
• Re: [Merge] lp:~widelands-dev/widelands/ai_colonization_update into lp:widelands
  From: GunChleoc, 2018-02-18
• Re: [Merge] lp:~widelands-dev/widelands/ai_colonization_update into lp:widelands
  From: TiborB, 2018-02-18
• [Merge] lp:~widelands-dev/widelands/ai_colonization_update into lp:widelands
  From: GunChleoc, 2018-02-19
• Re: [Merge] lp:~widelands-dev/widelands/ai_colonization_update into lp:widelands
  From: GunChleoc, 2018-02-19
• [Merge] lp:~widelands-dev/widelands/ai_colonization_update into lp:widelands
  From: bunnybot, 2018-02-19
• [Merge] lp:~widelands-dev/widelands/ai_colonization_update into lp:widelands
  From: noreply, 2018-02-19
• [Merge] lp:~abacabadabacaba/widelands/bug1749586 into lp:widelands
  From: Evgeny Kapun, 2018-02-17
• [Merge] lp:~widelands-dev/widelands-website/auto_copyr_year into lp:widelands-website
  From: kaputtnik, 2018-02-17
• Re: [Merge] lp:~widelands-dev/widelands-website/auto_copyr_year into lp:widelands-website
  From: GunChleoc, 2018-02-17
• [Merge] lp:~widelands-dev/widelands-website/auto_copyr_year into lp:widelands-website
  From: noreply, 2018-02-20
• Re: [Merge] lp:~widelands-dev/widelands-website/auto_copyr_year into lp:widelands-website
  From: kaputtnik, 2018-02-20
• [Merge] lp:~widelands-dev/widelands/bug-1740141-map-horizon into lp:widelands
  From: GunChleoc, 2018-02-16
• [Merge] lp:~widelands-dev/widelands/bug-1740141-map-horizon into lp:widelands
  From: bunnybot, 2018-02-17
• Re: [Merge] lp:~widelands-dev/widelands/bug-1740141-map-horizon into lp:widelands
  From: Notabilis, 2018-02-25
• Re: [Merge] lp:~widelands-dev/widelands/bug-1740141-map-horizon into lp:widelands
  From: GunChleoc, 2018-02-25
• Re: [Merge] lp:~widelands-dev/widelands/bug-1740141-map-horizon into lp:widelands
  From: GunChleoc, 2018-02-26
• [Merge] lp:~widelands-dev/widelands/bug-1740141-map-horizon into lp:widelands
  From: bunnybot, 2018-02-26
• [Merge] lp:~widelands-dev/widelands/bug-1740141-map-horizon into lp:widelands
  From: bunnybot, 2018-02-26
• Re: [Merge] lp:~widelands-dev/widelands/bug-1740141-map-horizon into lp:widelands
  From: GunChleoc, 2018-02-27
• [Merge] lp:~widelands-dev/widelands/bug-1740141-map-horizon into lp:widelands
  From: noreply, 2018-02-27
• [Merge] lp:~widelands-dev/widelands/ai_militarysites_prohibited into lp:widelands
  From: TiborB, 2018-02-15
• Re: [Merge] lp:~widelands-dev/widelands/ai_militarysites_prohibited into lp:widelands
  From: GunChleoc, 2018-02-15
• Re: [Merge] lp:~widelands-dev/widelands/ai_militarysites_prohibited into lp:widelands
  From: GunChleoc, 2018-02-17
• [Merge] lp:~widelands-dev/widelands/ai_militarysites_prohibited into lp:widelands
  From: bunnybot, 2018-02-17
• [Merge] lp:~widelands-dev/widelands/ai_militarysites_prohibited into lp:widelands
  From: noreply, 2018-02-17
• [Merge] lp:~widelands-dev/widelands/background_images into lp:widelands
  From: GunChleoc, 2018-02-13
• Re: [Merge] lp:~widelands-dev/widelands/background_images into lp:widelands
  From: kaputtnik, 2018-02-13
• [Merge] lp:~widelands-dev/widelands/background_images into lp:widelands
  From: bunnybot, 2018-02-13
• Re: [Merge] lp:~widelands-dev/widelands/background_images into lp:widelands
  From: GunChleoc, 2018-02-14
• [Merge] lp:~widelands-dev/widelands/background_images into lp:widelands
  From: bunnybot, 2018-02-19
• Re: [Merge] lp:~widelands-dev/widelands/background_images into lp:widelands
  From: kaputtnik, 2018-03-15
• Re: [Merge] lp:~widelands-dev/widelands/background_images into lp:widelands
  From: GunChleoc, 2018-03-16
• Re: [Merge] lp:~widelands-dev/widelands/background_images into lp:widelands
  From: GunChleoc, 2018-04-19
• [Merge] lp:~widelands-dev/widelands/background_images into lp:widelands
  From: bunnybot, 2018-04-22
• [Merge] lp:~widelands-dev/widelands/background_images into lp:widelands
  From: bunnybot, 2018-05-02
• Re: [Merge] lp:~widelands-dev/widelands/background_images into lp:widelands
  From: Benedikt Straub, 2018-05-06
• Re: [Merge] lp:~widelands-dev/widelands/background_images into lp:widelands
  From: GunChleoc, 2018-05-07
• Re: [Merge] lp:~widelands-dev/widelands/background_images into lp:widelands
  From: GunChleoc, 2018-05-07
• Re: [Merge] lp:~widelands-dev/widelands/background_images into lp:widelands
  From: Benedikt Straub, 2018-05-07
• Re: [Merge] lp:~widelands-dev/widelands/background_images into lp:widelands
  From: GunChleoc, 2018-05-08
• [Merge] lp:~widelands-dev/widelands/background_images into lp:widelands
  From: bunnybot, 2018-05-12
• [Merge] lp:~widelands-dev/widelands/background_images into lp:widelands
  From: bunnybot, 2018-05-13
• Re: [Merge] lp:~widelands-dev/widelands/background_images into lp:widelands
  From: GunChleoc, 2018-05-13
• [Merge] lp:~widelands-dev/widelands/background_images into lp:widelands
  From: noreply, 2018-05-13
• [Merge] lp:~widelands-dev/widelands/fh1-documentation into lp:widelands
  From: GunChleoc, 2018-02-12
• [Merge] lp:~widelands-dev/widelands/fh1-documentation into lp:widelands
  From: GunChleoc, 2018-02-12
• Re: [Merge] lp:~widelands-dev/widelands/fh1-documentation into lp:widelands
  From: GunChleoc, 2018-02-12
• [Merge] lp:~widelands-dev/widelands/fh1-documentation into lp:widelands
  From: bunnybot, 2018-02-12
• Re: [Merge] lp:~widelands-dev/widelands/fh1-documentation into lp:widelands
  From: kaputtnik, 2018-02-12
• [Merge] lp:~widelands-dev/widelands/fh1-documentation into lp:widelands
  From: bunnybot, 2018-02-13
• Re: [Merge] lp:~widelands-dev/widelands/fh1-documentation into lp:widelands
  From: GunChleoc, 2018-02-13
• Re: [Merge] lp:~widelands-dev/widelands/fh1-documentation into lp:widelands
  From: kaputtnik, 2018-02-13
• Re: [Merge] lp:~widelands-dev/widelands/fh1-documentation into lp:widelands
  From: GunChleoc, 2018-02-15
• Re: [Merge] lp:~widelands-dev/widelands/fh1-documentation into lp:widelands
  From: kaputtnik, 2018-02-19
• Re: [Merge] lp:~widelands-dev/widelands/fh1-documentation into lp:widelands
  From: GunChleoc, 2018-02-19
• Re: [Merge] lp:~widelands-dev/widelands/fh1-documentation into lp:widelands
  From: GunChleoc, 2018-02-21
• Re: [Merge] lp:~widelands-dev/widelands/fh1-documentation into lp:widelands
  From: kaputtnik, 2018-02-21
• Re: [Merge] lp:~widelands-dev/widelands/fh1-documentation into lp:widelands
  From: GunChleoc, 2018-02-22
• Re: [Merge] lp:~widelands-dev/widelands/fh1-documentation into lp:widelands
  From: kaputtnik, 2018-02-22
• Re: [Merge] lp:~widelands-dev/widelands/fh1-documentation into lp:widelands
  From: GunChleoc, 2018-02-23
• Re: [Merge] lp:~widelands-dev/widelands/fh1-documentation into lp:widelands
  From: kaputtnik, 2018-02-23
• Re: [Merge] lp:~widelands-dev/widelands/fh1-documentation into lp:widelands
  From: GunChleoc, 2018-02-23
• Re: [Merge] lp:~widelands-dev/widelands/fh1-documentation into lp:widelands
  From: kaputtnik, 2018-02-23
• Re: [Merge] lp:~widelands-dev/widelands/fh1-documentation into lp:widelands
  From: kaputtnik, 2018-02-23
• Re: [Merge] lp:~widelands-dev/widelands/fh1-documentation into lp:widelands
  From: GunChleoc, 2018-02-24
• Re: [Merge] lp:~widelands-dev/widelands/fh1-documentation into lp:widelands
  From: kaputtnik, 2018-02-24
• Re: [Merge] lp:~widelands-dev/widelands/fh1-documentation into lp:widelands
  From: kaputtnik, 2018-02-24
• [Merge] lp:~widelands-dev/widelands/fh1-documentation into lp:widelands
  From: GunChleoc, 2018-02-24
• Re: [Merge] lp:~widelands-dev/widelands/fh1-documentation into lp:widelands
  From: GunChleoc, 2018-02-24
• Re: [Merge] lp:~widelands-dev/widelands/fh1-documentation into lp:widelands
  From: kaputtnik, 2018-02-24
• Re: [Merge] lp:~widelands-dev/widelands/fh1-documentation into lp:widelands
  From: GunChleoc, 2018-02-24
• [Merge] lp:~widelands-dev/widelands/fh1-documentation into lp:widelands
  From: noreply, 2018-02-24
• [Merge] lp:~widelands-dev/widelands/fh1-tutorial3 into lp:widelands
  From: GunChleoc, 2018-02-12
• [Merge] lp:~widelands-dev/widelands/fh1-tutorial3 into lp:widelands
  From: bunnybot, 2018-02-12
• [Merge] lp:~widelands-dev/widelands/fh1-tutorial3 into lp:widelands
  From: bunnybot, 2018-02-17
• Re: [Merge] lp:~widelands-dev/widelands/fh1-tutorial3 into lp:widelands
  From: hessenfarmer, 2018-02-20
• Re: [Merge] lp:~widelands-dev/widelands/fh1-tutorial3 into lp:widelands
  From: GunChleoc, 2018-02-21
• [Merge] lp:~widelands-dev/widelands/fh1-tutorial3 into lp:widelands
  From: noreply, 2018-02-21
• [Merge] lp:~widelands-dev/widelands/bug-1744583_fix_building_help into lp:widelands
  From: kaputtnik, 2018-02-10
• [Merge] lp:~widelands-dev/widelands/bug-1744583_fix_building_help into lp:widelands
  From: bunnybot, 2018-02-11
• Re: [Merge] lp:~widelands-dev/widelands/bug-1744583_fix_building_help into lp:widelands
  From: GunChleoc, 2018-02-12
• [Merge] lp:~widelands-dev/widelands/bug-1744583_fix_building_help into lp:widelands
  From: noreply, 2018-02-12
• [Merge] lp:~widelands-dev/widelands/bug-1639514_fix_yellow_player into lp:widelands
  From: kaputtnik, 2018-02-10
• [Merge] lp:~widelands-dev/widelands/bug-1639514_fix_yellow_player into lp:widelands
  From: bunnybot, 2018-02-11
• Re: [Merge] lp:~widelands-dev/widelands/bug-1639514_fix_yellow_player into lp:widelands
  From: GunChleoc, 2018-02-12
• Re: [Merge] lp:~widelands-dev/widelands/bug-1639514_fix_yellow_player into lp:widelands
  From: kaputtnik, 2018-02-12
• Re: [Merge] lp:~widelands-dev/widelands/bug-1639514_fix_yellow_player into lp:widelands
  From: Tino, 2018-02-14
• Re: [Merge] lp:~widelands-dev/widelands/bug-1639514_fix_yellow_player into lp:widelands
  From: kaputtnik, 2018-02-14
• [Merge] lp:~widelands-dev/widelands/bug-1639514_fix_yellow_player into lp:widelands
  From: noreply, 2018-02-15
• Re: [Merge] lp:~widelands-dev/widelands/bug-1639514_fix_yellow_player into lp:widelands
  From: GunChleoc, 2018-02-15
• [Merge] lp:~widelands-dev/widelands/fh1-maps-multiplayer into lp:widelands
  From: GunChleoc, 2018-02-10
• [Merge] lp:~widelands-dev/widelands/fh1-maps-multiplayer into lp:widelands
  From: bunnybot, 2018-02-10
• Re: [Merge] lp:~widelands-dev/widelands/fh1-maps-multiplayer into lp:widelands
  From: Klaus Halfmann, 2018-02-11
• Re: [Merge] lp:~widelands-dev/widelands/fh1-maps-multiplayer into lp:widelands
  From: GunChleoc, 2018-02-17
• Re: [Merge] lp:~widelands-dev/widelands/fh1-maps-multiplayer into lp:widelands
  From: Klaus Halfmann, 2018-02-18
• Re: [Merge] lp:~widelands-dev/widelands/fh1-maps-multiplayer into lp:widelands
  From: GunChleoc, 2018-02-19
• Re: [Merge] lp:~widelands-dev/widelands/fh1-maps-multiplayer into lp:widelands
  From: Klaus Halfmann, 2018-02-19
• Re: [Merge] lp:~widelands-dev/widelands/fh1-maps-multiplayer into lp:widelands
  From: GunChleoc, 2018-02-19
• [Merge] lp:~widelands-dev/widelands/fh1-maps-multiplayer into lp:widelands
  From: GunChleoc, 2018-02-24
• Re: [Merge] lp:~widelands-dev/widelands/fh1-maps-multiplayer into lp:widelands
  From: GunChleoc, 2018-02-24
• Re: [Merge] lp:~widelands-dev/widelands/fh1-maps-multiplayer into lp:widelands
  From: GunChleoc, 2018-02-25
• [Merge] lp:~widelands-dev/widelands/fh1-maps-multiplayer into lp:widelands
  From: noreply, 2018-02-25
• [Merge] lp:~widelands-dev/widelands/fh1-maps-plateau into lp:widelands
  From: GunChleoc, 2018-02-10
• [Merge] lp:~widelands-dev/widelands/fh1-maps-plateau into lp:widelands
  From: bunnybot, 2018-02-11
• [Merge] lp:~widelands-dev/widelands/fh1-maps-plateau into lp:widelands
  From: bunnybot, 2018-02-17
• Re: [Merge] lp:~widelands-dev/widelands/fh1-maps-plateau into lp:widelands
  From: hessenfarmer, 2018-02-20
• [Merge] lp:~widelands-dev/widelands/fh1-maps-plateau into lp:widelands
  From: GunChleoc, 2018-02-21
• [Merge] lp:~widelands-dev/widelands/fh1-maps-plateau into lp:widelands
  From: GunChleoc, 2018-02-21
• Re: [Merge] lp:~widelands-dev/widelands/fh1-maps-plateau into lp:widelands
  From: GunChleoc, 2018-02-21
• [Merge] lp:~widelands-dev/widelands/fh1-maps-plateau into lp:widelands
  From: bunnybot, 2018-02-21
• [Merge] lp:~widelands-dev/widelands/fh1-maps-plateau into lp:widelands
  From: noreply, 2018-02-21
• [Merge] lp:~widelands-dev/widelands/fix_infrastructure_return_values into lp:widelands
  From: kaputtnik, 2018-02-08
• Re: [Merge] lp:~widelands-dev/widelands/fix_infrastructure_return_values into lp:widelands
  From: kaputtnik, 2018-02-08
• Re: [Merge] lp:~widelands-dev/widelands/fix_infrastructure_return_values into lp:widelands
  From: kaputtnik, 2018-02-08
• [Merge] lp:~widelands-dev/widelands/fix_infrastructure_return_values into lp:widelands
  From: bunnybot, 2018-02-08
• Re: [Merge] lp:~widelands-dev/widelands/fix_infrastructure_return_values into lp:widelands
  From: Klaus Halfmann, 2018-02-10
• Re: [Merge] lp:~widelands-dev/widelands/fix_infrastructure_return_values into lp:widelands
  From: kaputtnik, 2018-02-10
• Re: [Merge] lp:~widelands-dev/widelands/fix_infrastructure_return_values into lp:widelands
  From: GunChleoc, 2018-02-10
• Re: [Merge] lp:~widelands-dev/widelands/fix_infrastructure_return_values into lp:widelands
  From: Klaus Halfmann, 2018-02-10
• Re: [Merge] lp:~widelands-dev/widelands/fix_infrastructure_return_values into lp:widelands
  From: kaputtnik, 2018-02-10
• Re: [Merge] lp:~widelands-dev/widelands/fix_infrastructure_return_values into lp:widelands
  From: Klaus Halfmann, 2018-02-10
• [Merge] lp:~widelands-dev/widelands/fix_infrastructure_return_values into lp:widelands
  From: noreply, 2018-02-10
• Re: [Merge] lp:~widelands-dev/widelands/fix_infrastructure_return_values into lp:widelands
  From: GunChleoc, 2018-02-10
• [Merge] lp:~widelands-dev/widelands/internet-gaming-reset into lp:widelands
  From: Notabilis, 2018-02-04
• [Merge] lp:~widelands-dev/widelands/internet-gaming-reset into lp:widelands
  From: bunnybot, 2018-02-04
• Re: [Merge] lp:~widelands-dev/widelands/internet-gaming-reset into lp:widelands
  From: Klaus Halfmann, 2018-02-06
• Re: [Merge] lp:~widelands-dev/widelands/internet-gaming-reset into lp:widelands
  From: Klaus Halfmann, 2018-02-08
• Re: [Merge] lp:~widelands-dev/widelands/internet-gaming-reset into lp:widelands
  From: Notabilis, 2018-02-09
• Re: [Merge] lp:~widelands-dev/widelands/internet-gaming-reset into lp:widelands
  From: Klaus Halfmann, 2018-02-09
• Re: [Merge] lp:~widelands-dev/widelands/internet-gaming-reset into lp:widelands
  From: Klaus Halfmann, 2018-02-09
• [Merge] lp:~widelands-dev/widelands/internet-gaming-reset into lp:widelands
  From: noreply, 2018-02-09
• Re: [Merge] lp:~widelands-dev/widelands/internet-gaming-reset into lp:widelands
  From: GunChleoc, 2018-02-10

 •  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