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/bug-1520820 into lp:widelands, (continued)
  • Re: [Merge] lp:~widelands-dev/widelands/bug-1520820 into lp:widelands
    From: GunChleoc, 2015-11-28
  • Re: [Merge] lp:~widelands-dev/widelands/bug-1520820 into lp:widelands
    From: GunChleoc, 2015-11-29
  • [Merge] lp:~widelands-dev/widelands/bug-1520820 into lp:widelands
    From: noreply, 2015-11-29
• [Merge] lp:~widelands-dev/widelands/bug-1520762 into lp:widelands
  From: TiborB, 2015-11-28
• Re: [Merge] lp:~widelands-dev/widelands/bug-1520762 into lp:widelands
  From: GunChleoc, 2015-11-28
• [Merge] lp:~widelands-dev/widelands/bug-1520762 into lp:widelands
  From: noreply, 2015-11-28
• Re: [Merge] lp:~widelands-dev/widelands/bug-1520762 into lp:widelands
  From: TiborB, 2015-11-28
• [Merge] lp:~widelands-dev/widelands/bug-1519361 into lp:widelands
  From: GunChleoc, 2015-11-28
• Re: [Merge] lp:~widelands-dev/widelands/bug-1519361 into lp:widelands
  From: SirVer, 2015-11-28
• [Merge] lp:~widelands-dev/widelands/bug-1519361 into lp:widelands
  From: noreply, 2015-11-28
• [Merge] lp:~widelands-dev/widelands/bug-1502965 into lp:widelands
  From: GunChleoc, 2015-11-28
• Re: [Merge] lp:~widelands-dev/widelands/bug-1502965 into lp:widelands
  From: TiborB, 2015-12-01
• Re: [Merge] lp:~widelands-dev/widelands/bug-1502965 into lp:widelands
  From: GunChleoc, 2015-12-01
• [Merge] lp:~widelands-dev/widelands/bug-1502965 into lp:widelands
  From: noreply, 2015-12-01
• [Merge] lp:~widelands-dev/widelands/hide_seafaring_buildings into lp:widelands
  From: GunChleoc, 2015-11-27
• Re: [Merge] lp:~widelands-dev/widelands/hide_seafaring_buildings into lp:widelands
  From: TiborB, 2015-11-27
• [Merge] lp:~widelands-dev/widelands/hide_seafaring_buildings into lp:widelands
  From: noreply, 2015-11-28
• [Merge] lp:~widelands-dev/widelands/command_queue_types into lp:widelands
  From: GunChleoc, 2015-11-27
• Re: [Merge] lp:~widelands-dev/widelands/command_queue_types into lp:widelands
  From: TiborB, 2015-12-01
• Re: [Merge] lp:~widelands-dev/widelands/command_queue_types into lp:widelands
  From: GunChleoc, 2015-12-01
• [Merge] lp:~widelands-dev/widelands/command_queue_types into lp:widelands
  From: noreply, 2015-12-02
• [Merge] lp:~widelands-dev/widelands/worker_icons into lp:widelands
  From: kaputtnik, 2015-11-25
• Re: [Merge] lp:~widelands-dev/widelands/worker_icons into lp:widelands
  From: GunChleoc, 2015-11-26
• [Merge] lp:~widelands-dev/widelands/worker_icons into lp:widelands
  From: noreply, 2015-11-26
• [Merge] lp:~widelands-dev/widelands/ai_differentiation into lp:widelands
  From: TiborB, 2015-11-24
• Re: [Merge] lp:~widelands-dev/widelands/ai_differentiation into lp:widelands
  From: GunChleoc, 2015-11-25
• Re: [Merge] lp:~widelands-dev/widelands/ai_differentiation into lp:widelands
  From: TiborB, 2015-11-25
• Re: [Merge] lp:~widelands-dev/widelands/ai_differentiation into lp:widelands
  From: GunChleoc, 2015-11-26
• [Merge] lp:~widelands-dev/widelands/ai_differentiation into lp:widelands
  From: noreply, 2015-11-26
• Re: [Merge] lp:~widelands-dev/widelands/ai_differentiation into lp:widelands
  From: TiborB, 2015-11-26
• <Possible follow-ups>
• [Merge] lp:~widelands-dev/widelands/ai_differentiation into lp:widelands
  From: TiborB, 2017-09-20
• [Merge] lp:~widelands-dev/widelands/ai_differentiation into lp:widelands
  From: bunnybot, 2017-09-21
• Re: [Merge] lp:~widelands-dev/widelands/ai_differentiation into lp:widelands
  From: GunChleoc, 2017-09-21
• Re: [Merge] lp:~widelands-dev/widelands/ai_differentiation into lp:widelands
  From: TiborB, 2017-09-21
• Re: [Merge] lp:~widelands-dev/widelands/ai_differentiation into lp:widelands
  From: GunChleoc, 2017-09-29
• [Merge] lp:~widelands-dev/widelands/ai_differentiation into lp:widelands
  From: noreply, 2017-09-29
• [recipe build #1025882] of ~widelands-dev widelands-daily in xenial: Failed to build
  From: noreply, 2015-11-24
• [Merge] lp:~widelands-dev/widelands/assert_removed into lp:widelands
  From: TiborB, 2015-11-22
• Re: [Merge] lp:~widelands-dev/widelands/assert_removed into lp:widelands
  From: SirVer, 2015-11-23
• Re: [Merge] lp:~widelands-dev/widelands/assert_removed into lp:widelands
  From: GunChleoc, 2015-11-23
• [Merge] lp:~widelands-dev/widelands/assert_removed into lp:widelands
  From: noreply, 2015-11-23
• [Build #8329756] amd64 build of widelands 1:18-ppa0-bzr7634-201511221017~ubuntu16.04.1 in ubuntu xenial RELEASE [~widelands-dev/ubuntu/widelands-daily]
  From: Launchpad Buildd System, 2015-11-22
• [Build #8329752] amd64 build of widelands 1:18-ppa0-bzr7634-201511221017~ubuntu15.04.1 in ubuntu vivid RELEASE [~widelands-dev/ubuntu/widelands-daily]
  From: Launchpad Buildd System, 2015-11-22
• [Build #8329751] i386 build of widelands 1:18-ppa0-bzr7634-201511221016~ubuntu15.10.1 in ubuntu wily RELEASE [~widelands-dev/ubuntu/widelands-daily]
  From: Launchpad Buildd System, 2015-11-22
• [Build #8329753] i386 build of widelands 1:18-ppa0-bzr7634-201511221017~ubuntu15.04.1 in ubuntu vivid RELEASE [~widelands-dev/ubuntu/widelands-daily]
  From: Launchpad Buildd System, 2015-11-22
• [Build #8329757] i386 build of widelands 1:18-ppa0-bzr7634-201511221017~ubuntu16.04.1 in ubuntu xenial RELEASE [~widelands-dev/ubuntu/widelands-daily]
  From: Launchpad Buildd System, 2015-11-22
• [Build #8329750] amd64 build of widelands 1:18-ppa0-bzr7634-201511221016~ubuntu15.10.1 in ubuntu wily RELEASE [~widelands-dev/ubuntu/widelands-daily]
  From: Launchpad Buildd System, 2015-11-22
• <Possible follow-ups>
• [Build #8329750] amd64 build of widelands 1:18-ppa0-bzr7634-201511221016~ubuntu15.10.1 in ubuntu wily RELEASE [~widelands-dev/ubuntu/widelands-daily]
  From: Launchpad Buildd System, 2015-11-22
• [Build #8329742] amd64 build of widelands 1:18-ppa0-bzr7634-201511221017~ubuntu14.04.1 in ubuntu trusty RELEASE [~widelands-dev/ubuntu/widelands-daily]
  From: Launchpad Buildd System, 2015-11-22
• [Build #8329743] i386 build of widelands 1:18-ppa0-bzr7634-201511221017~ubuntu14.04.1 in ubuntu trusty RELEASE [~widelands-dev/ubuntu/widelands-daily]
  From: Launchpad Buildd System, 2015-11-22
• Re: [Merge] lp:~widelands-dev/widelands/bug-1509791 into lp:widelands
  From: GunChleoc, 2015-11-22
• [Merge] lp:~widelands-dev/widelands/bug-1518223 into lp:widelands
  From: TiborB, 2015-11-21
• Re: [Merge] lp:~widelands-dev/widelands/bug-1518223 into lp:widelands
  From: GunChleoc, 2015-11-22
• Re: [Merge] lp:~widelands-dev/widelands/bug-1518223 into lp:widelands
  From: TiborB, 2015-11-22
• Re: [Merge] lp:~widelands-dev/widelands/bug-1518223 into lp:widelands
  From: GunChleoc, 2015-11-23
• [Merge] lp:~widelands-dev/widelands/bug-1518223 into lp:widelands
  From: noreply, 2015-11-23
• [Merge] lp:~widelands-dev/widelands/bug-1509791 into lp:widelands
  From: GunChleoc, 2015-11-21
• Re: [Merge] lp:~widelands-dev/widelands/bug-1509791 into lp:widelands
  From: GunChleoc, 2015-11-21
• [Merge] lp:~widelands-dev/widelands/bug-1509791 into lp:widelands
  From: GunChleoc, 2015-11-21
• <Possible follow-ups>
• [Merge] lp:~widelands-dev/widelands/bug-1509791 into lp:widelands
  From: GunChleoc, 2015-11-22
• Re: [Merge] lp:~widelands-dev/widelands/bug-1509791 into lp:widelands
  From: TiborB, 2015-11-27
• [Merge] lp:~widelands-dev/widelands/bug-1509791 into lp:widelands
  From: noreply, 2015-11-28
• [Merge] lp:~widelands-dev/widelands/compiler_warnings into lp:widelands
  From: GunChleoc, 2015-11-21
• Re: [Merge] lp:~widelands-dev/widelands/compiler_warnings into lp:widelands
  From: TiborB, 2015-11-21
• Re: [Merge] lp:~widelands-dev/widelands/compiler_warnings into lp:widelands
  From: GunChleoc, 2015-11-22
• Re: [Merge] lp:~widelands-dev/widelands/compiler_warnings into lp:widelands
  From: GunChleoc, 2015-11-25
• Re: [Merge] lp:~widelands-dev/widelands/compiler_warnings into lp:widelands
  From: TiborB, 2015-11-25
• Re: [Merge] lp:~widelands-dev/widelands/compiler_warnings into lp:widelands
  From: GunChleoc, 2015-11-25
• Re: [Merge] lp:~widelands-dev/widelands/compiler_warnings into lp:widelands
  From: TiborB, 2015-11-26
• [Merge] lp:~widelands-dev/widelands/compiler_warnings into lp:widelands
  From: noreply, 2015-11-26
• [Build #8326761] i386 build of widelands 1:18-ppa0-bzr7632-201511211016~ubuntu14.04.1 in ubuntu trusty RELEASE [~widelands-dev/ubuntu/widelands-daily]
  From: Launchpad Buildd System, 2015-11-21
• [Merge] lp:~widelands-dev/widelands/lua_tabs into lp:widelands
  From: GunChleoc, 2015-11-20
• Re: [Merge] lp:~widelands-dev/widelands/lua_tabs into lp:widelands
  From: TiborB, 2015-11-20
• [Merge] lp:~widelands-dev/widelands/lua_tabs into lp:widelands
  From: noreply, 2015-11-21
• [Merge] lp:~widelands-dev/widelands/number_glob into lp:widelands
  From: GunChleoc, 2015-11-20
• Re: [Merge] lp:~widelands-dev/widelands/number_glob into lp:widelands
  From: GunChleoc, 2015-11-20
• Re: [Merge] lp:~widelands-dev/widelands/number_glob into lp:widelands
  From: TiborB, 2015-12-26
• [Merge] lp:~widelands-dev/widelands/number_glob into lp:widelands
  From: noreply, 2015-12-28
• [Merge] lp:~widelands-dev/widelands/pc_on_buttons into lp:widelands
  From: GunChleoc, 2015-11-20
• Re: [Merge] lp:~widelands-dev/widelands/pc_on_buttons into lp:widelands
  From: TiborB, 2015-11-21
• Re: [Merge] lp:~widelands-dev/widelands/pc_on_buttons into lp:widelands
  From: GunChleoc, 2015-11-22
• Re: [Merge] lp:~widelands-dev/widelands/pc_on_buttons into lp:widelands
  From: TiborB, 2015-11-22
• Re: [Merge] lp:~widelands-dev/widelands/pc_on_buttons into lp:widelands
  From: GunChleoc, 2015-11-23
• [Merge] lp:~widelands-dev/widelands/pc_on_buttons into lp:widelands
  From: noreply, 2015-11-23
• [Merge] lp:~widelands-dev/widelands/bug-1505723 into lp:widelands
  From: GunChleoc, 2015-11-20
• Re: [Merge] lp:~widelands-dev/widelands/bug-1505723 into lp:widelands
  From: GunChleoc, 2015-11-20
• Re: [Merge] lp:~widelands-dev/widelands/bug-1505723 into lp:widelands
  From: TiborB, 2015-11-21
• [Merge] lp:~widelands-dev/widelands/bug-1505723 into lp:widelands
  From: noreply, 2015-11-22
• [Merge] lp:~widelands-dev/widelands/farm_animal_sound into lp:widelands
  From: GunChleoc, 2015-11-18
• Re: [Merge] lp:~widelands-dev/widelands/farm_animal_sound into lp:widelands
  From: SirVer, 2015-11-18
• Re: [Merge] lp:~widelands-dev/widelands/farm_animal_sound into lp:widelands
  From: GunChleoc, 2015-11-19
• [Merge] lp:~widelands-dev/widelands/farm_animal_sound into lp:widelands
  From: noreply, 2015-11-19
• [Merge] lp:~widelands-dev/widelands/bug-1516777 into lp:widelands
  From: GunChleoc, 2015-11-17
• Re: [Merge] lp:~widelands-dev/widelands/bug-1516777 into lp:widelands
  From: SirVer, 2015-11-18
• [Merge] lp:~widelands-dev/widelands/bug-1516777 into lp:widelands
  From: noreply, 2015-11-18
• [Merge] lp:~widelands-dev/widelands/ai_sched_speedup into lp:widelands
  From: TiborB, 2015-11-11
• [Merge] lp:~widelands-dev/widelands/ai_sched_speedup into lp:widelands
  From: TiborB, 2015-11-11
• Re: [Merge] lp:~widelands-dev/widelands/ai_sched_speedup into lp:widelands
  From: TiborB, 2015-11-12
• Re: [Merge] lp:~widelands-dev/widelands/ai_sched_speedup into lp:widelands
  From: GunChleoc, 2015-11-20
• Re: [Merge] lp:~widelands-dev/widelands/ai_sched_speedup into lp:widelands
  From: TiborB, 2015-11-20
• Re: [Merge] lp:~widelands-dev/widelands/ai_sched_speedup into lp:widelands
  From: GunChleoc, 2015-11-21
• [Merge] lp:~widelands-dev/widelands/ai_sched_speedup into lp:widelands
  From: noreply, 2015-11-21
• [Merge] lp:~widelands-dev/widelands/index_types into lp:widelands
  From: GunChleoc, 2015-11-11
• [Merge] lp:~widelands-dev/widelands/index_types into lp:widelands
  From: GunChleoc, 2015-11-11
• Re: [Merge] lp:~widelands-dev/widelands/index_types into lp:widelands
  From: TiborB, 2015-11-12
• Re: [Merge] lp:~widelands-dev/widelands/index_types into lp:widelands
  From: GunChleoc, 2015-11-12
• Re: [Merge] lp:~widelands-dev/widelands/index_types into lp:widelands
  From: TiborB, 2015-11-12
• Re: [Merge] lp:~widelands-dev/widelands/index_types into lp:widelands
  From: GunChleoc, 2015-11-13
• Re: [Merge] lp:~widelands-dev/widelands/index_types into lp:widelands
  From: TiborB, 2015-11-13
• [Merge] lp:~widelands-dev/widelands/index_types into lp:widelands
  From: noreply, 2015-11-14
• [Merge] lp:~widelands-dev/widelands/warehouse_worker into lp:widelands
  From: GunChleoc, 2015-11-11
• Re: [Merge] lp:~widelands-dev/widelands/warehouse_worker into lp:widelands
  From: TiborB, 2015-11-11
• Re: [Merge] lp:~widelands-dev/widelands/warehouse_worker into lp:widelands
  From: GunChleoc, 2015-11-11
• Re: [Merge] lp:~widelands-dev/widelands/warehouse_worker into lp:widelands
  From: TiborB, 2015-11-12
• Re: [Merge] lp:~widelands-dev/widelands/warehouse_worker into lp:widelands
  From: GunChleoc, 2015-11-12
• Re: [Merge] lp:~widelands-dev/widelands/warehouse_worker into lp:widelands
  From: TiborB, 2015-11-12
• [Merge] lp:~widelands-dev/widelands/warehouse_worker into lp:widelands
  From: noreply, 2015-11-13
• [Merge] lp:~widelands-dev/widelands/purpose_helptexts into lp:widelands
  From: GunChleoc, 2015-11-08
• Re: [Merge] lp:~widelands-dev/widelands/purpose_helptexts into lp:widelands
  From: SirVer, 2015-11-09
• [Merge] lp:~widelands-dev/widelands/purpose_helptexts into lp:widelands
  From: noreply, 2015-11-10
• [Merge] lp:~franku/widelands-website/little_navi_changes into lp:widelands-website
  From: kaputtnik, 2015-11-04
• Re: [Merge] lp:~franku/widelands-website/little_navi_changes into lp:widelands-website
  From: GunChleoc, 2015-11-04
• Re: [Merge] lp:~franku/widelands-website/little_navi_changes into lp:widelands-website
  From: SirVer, 2015-11-17
• [Merge] lp:~franku/widelands-website/little_navi_changes into lp:widelands-website
  From: noreply, 2015-11-17
• [Merge] lp:~widelands-dev/widelands/ai_seafaring_tweaks into lp:widelands
  From: TiborB, 2015-11-03
• Re: [Merge] lp:~widelands-dev/widelands/ai_seafaring_tweaks into lp:widelands
  From: GunChleoc, 2015-11-04
• [Merge] lp:~widelands-dev/widelands/ai_seafaring_tweaks into lp:widelands
  From: noreply, 2015-11-04
• [Merge] lp:~widelands-dev/widelands/artifacts into lp:widelands
  From: kaputtnik, 2015-11-03
• Re: [Merge] lp:~widelands-dev/widelands/artifacts into lp:widelands
  From: kaputtnik, 2015-11-07
• Re: [Merge] lp:~widelands-dev/widelands/artifacts into lp:widelands
  From: kaputtnik, 2015-11-07
• Re: [Merge] lp:~widelands-dev/widelands/artifacts into lp:widelands
  From: kaputtnik, 2015-11-09
• Re: [Merge] lp:~widelands-dev/widelands/artifacts into lp:widelands
  From: kaputtnik, 2015-11-09
• Re: [Merge] lp:~widelands-dev/widelands/artifacts into lp:widelands
  From: kaputtnik, 2015-11-09
• Re: [Merge] lp:~widelands-dev/widelands/artifacts into lp:widelands
  From: GunChleoc, 2015-11-09
• Re: [Merge] lp:~widelands-dev/widelands/artifacts into lp:widelands
  From: kaputtnik, 2015-11-09
• Re: [Merge] lp:~widelands-dev/widelands/artifacts into lp:widelands
  From: wl-zocker, 2015-11-09
• Re: [Merge] lp:~widelands-dev/widelands/artifacts into lp:widelands
  From: GunChleoc, 2015-11-09
• Re: [Merge] lp:~widelands-dev/widelands/artifacts into lp:widelands
  From: kaputtnik, 2015-11-09
• Re: [Merge] lp:~widelands-dev/widelands/artifacts into lp:widelands
  From: kaputtnik, 2015-11-09
• Re: [Merge] lp:~widelands-dev/widelands/artifacts into lp:widelands
  From: GunChleoc, 2015-11-17
• Re: [Merge] lp:~widelands-dev/widelands/artifacts into lp:widelands
  From: GunChleoc, 2015-11-17
• Re: [Merge] lp:~widelands-dev/widelands/artifacts into lp:widelands
  From: SirVer, 2015-11-18
• Re: [Merge] lp:~widelands-dev/widelands/artifacts into lp:widelands
  From: wl-zocker, 2015-11-18
• Re: [Merge] lp:~widelands-dev/widelands/artifacts into lp:widelands
  From: GunChleoc, 2015-11-18
• [Merge] lp:~widelands-dev/widelands/artifacts into lp:widelands
  From: noreply, 2015-11-18
• [Merge] lp:~widelands-dev/widelands/ware_help into lp:widelands
  From: GunChleoc, 2015-11-03
• Re: [Merge] lp:~widelands-dev/widelands/ware_help into lp:widelands
  From: TiborB, 2015-12-08
• Re: [Merge] lp:~widelands-dev/widelands/ware_help into lp:widelands
  From: GunChleoc, 2015-12-08
• Re: [Merge] lp:~widelands-dev/widelands/ware_help into lp:widelands
  From: kaputtnik, 2015-12-08
• Re: [Merge] lp:~widelands-dev/widelands/ware_help into lp:widelands
  From: GunChleoc, 2015-12-08
• Re: [Merge] lp:~widelands-dev/widelands/ware_help into lp:widelands
  From: GunChleoc, 2015-12-08
• Re: [Merge] lp:~widelands-dev/widelands/ware_help into lp:widelands
  From: kaputtnik, 2015-12-08
• Re: [Merge] lp:~widelands-dev/widelands/ware_help into lp:widelands
  From: kaputtnik, 2015-12-09
• [Merge] lp:~widelands-dev/widelands/ware_help into lp:widelands
  From: kaputtnik, 2015-12-09
• Re: [Merge] lp:~widelands-dev/widelands/ware_help into lp:widelands
  From: GunChleoc, 2015-12-09
• Re: [Merge] lp:~widelands-dev/widelands/ware_help into lp:widelands
  From: GunChleoc, 2015-12-09
• Re: [Merge] lp:~widelands-dev/widelands/ware_help into lp:widelands
  From: kaputtnik, 2015-12-09
• [Merge] lp:~widelands-dev/widelands/ware_help into lp:widelands
  From: noreply, 2015-12-09
• Re: [Merge] lp:~widelands-dev/widelands/ware_help into lp:widelands
  From: GunChleoc, 2015-12-09
• [Merge] lp:~widelands-dev/widelands/fleet_update into lp:widelands
  From: TiborB, 2015-11-02
• Re: [Merge] lp:~widelands-dev/widelands/fleet_update into lp:widelands
  From: TiborB, 2015-11-02
• Re: [Merge] lp:~widelands-dev/widelands/fleet_update into lp:widelands
  From: GunChleoc, 2015-11-03
• [Merge] lp:~widelands-dev/widelands/fleet_update into lp:widelands
  From: noreply, 2015-11-03
• [Merge] lp:~widelands-dev/widelands/map_compatibility into lp:widelands
  From: GunChleoc, 2015-10-29
• Re: [Merge] lp:~widelands-dev/widelands/map_compatibility into lp:widelands
  From: Nasenbaer, 2015-11-14
• Re: [Merge] lp:~widelands-dev/widelands/map_compatibility into lp:widelands
  From: GunChleoc, 2015-11-16
• Re: [Merge] lp:~widelands-dev/widelands/map_compatibility into lp:widelands
  From: Nasenbaer, 2015-11-16
• Re: [Merge] lp:~widelands-dev/widelands/map_compatibility into lp:widelands
  From: GunChleoc, 2015-11-17
• Re: [Merge] lp:~widelands-dev/widelands/map_compatibility into lp:widelands
  From: TiborB, 2015-12-17
• Re: [Merge] lp:~widelands-dev/widelands/map_compatibility into lp:widelands
  From: GunChleoc, 2015-12-17
• Bunnybot says...
  From: bunnybot, 2016-01-02
• Bunnybot says...
  From: bunnybot, 2016-01-02
• Bunnybot says...
  From: bunnybot, 2016-01-03
• Bunnybot says...
  From: bunnybot, 2016-01-04
• Bunnybot says...
  From: bunnybot, 2016-01-12
• Bunnybot says...
  From: bunnybot, 2016-01-12
• Bunnybot says...
  From: bunnybot, 2016-01-20
• [Merge] lp:~widelands-dev/widelands/map_compatibility into lp:widelands
  From: bunnybot, 2016-01-25
• [Merge] lp:~widelands-dev/widelands/map_compatibility into lp:widelands
  From: bunnybot, 2016-01-26
• Re: [Merge] lp:~widelands-dev/widelands/map_compatibility into lp:widelands
  From: SirVer, 2016-01-29
• Re: [Merge] lp:~widelands-dev/widelands/map_compatibility into lp:widelands
  From: GunChleoc, 2016-01-29
• [Merge] lp:~widelands-dev/widelands/map_compatibility into lp:widelands
  From: GunChleoc, 2016-01-29
• <Possible follow-ups>
• [Merge] lp:~widelands-dev/widelands/map_compatibility into lp:widelands
  From: SirVer, 2016-08-13
• [Merge] lp:~widelands-dev/widelands/map_compatibility into lp:widelands
  From: SirVer, 2016-08-13
• [Merge] lp:~widelands-dev/widelands/map_compatibility into lp:widelands
  From: bunnybot, 2016-08-13
• [Merge] lp:~widelands-dev/widelands/map_compatibility into lp:widelands
  From: bunnybot, 2016-08-13
• [Merge] lp:~widelands-dev/widelands/map_compatibility into lp:widelands
  From: bunnybot, 2016-08-13
• [Merge] lp:~widelands-dev/widelands/map_compatibility into lp:widelands
  From: bunnybot, 2016-08-13
• [Merge] lp:~widelands-dev/widelands/map_compatibility into lp:widelands
  From: bunnybot, 2016-08-13
• [Merge] lp:~widelands-dev/widelands/map_compatibility into lp:widelands
  From: bunnybot, 2016-08-13
• [Merge] lp:~widelands-dev/widelands/map_compatibility into lp:widelands
  From: bunnybot, 2016-08-14
• [Merge] lp:~widelands-dev/widelands/map_compatibility into lp:widelands
  From: bunnybot, 2016-08-14
• [Merge] lp:~widelands-dev/widelands/map_compatibility into lp:widelands
  From: bunnybot, 2016-08-14
• [Merge] lp:~widelands-dev/widelands/map_compatibility into lp:widelands
  From: bunnybot, 2016-08-14
• [Merge] lp:~widelands-dev/widelands/map_compatibility into lp:widelands
  From: bunnybot, 2016-08-14
• [Merge] lp:~widelands-dev/widelands/map_compatibility into lp:widelands
  From: bunnybot, 2016-08-14
• [Merge] lp:~widelands-dev/widelands/map_compatibility into lp:widelands
  From: bunnybot, 2016-08-14
• [Merge] lp:~widelands-dev/widelands/map_compatibility into lp:widelands
  From: bunnybot, 2016-08-14
• [Merge] lp:~widelands-dev/widelands/map_compatibility into lp:widelands
  From: bunnybot, 2016-08-14
• [Merge] lp:~widelands-dev/widelands/map_compatibility into lp:widelands
  From: bunnybot, 2016-08-14

 •  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