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-1826669-mp-map-b20 into lp:widelands/build20, (continued)
  • Re: [Merge] lp:~widelands-dev/widelands/bug-1826669-mp-map-b20 into lp:widelands/build20
    From: GunChleoc, 2019-04-29
  • [Merge] lp:~widelands-dev/widelands/bug-1826669-mp-map-b20 into lp:widelands/build20
    From: noreply, 2019-04-30
• [Merge] lp:~widelands-dev/widelands/bug-1826669-mp-map-b20 into lp:widelands
  From: GunChleoc, 2019-04-28
• <Possible follow-ups>
• [Merge] lp:~widelands-dev/widelands/bug-1826669-mp-map-b20 into lp:widelands
  From: GunChleoc, 2019-04-28
• [Merge] lp:~widelands-dev/widelands/bug_1826669_MapDownloandChange into lp:widelands/build20
  From: Klaus Halfmann, 2019-04-28
• Re: [Merge] lp:~widelands-dev/widelands/bug_1826669_MapDownloandChange into lp:widelands/build20
  From: Klaus Halfmann, 2019-04-28
• Re: [Merge] lp:~widelands-dev/widelands/bug_1826669_MapDownloandChange into lp:widelands/build20
  From: Toni Förster, 2019-04-28
• Re: [Merge] lp:~widelands-dev/widelands/bug_1826669_MapDownloandChange into lp:widelands/build20
  From: GunChleoc, 2019-04-28
• Re: [Merge] lp:~widelands-dev/widelands/bug_1826669_MapDownloandChange into lp:widelands/build20
  From: GunChleoc, 2019-04-28
• Re: [Merge] lp:~widelands-dev/widelands/bug_1826669_MapDownloandChange into lp:widelands/build20
  From: GunChleoc, 2019-04-28
• Re: [Merge] lp:~widelands-dev/widelands/bug_1826669_MapDownloandChange into lp:widelands/build20
  From: hessenfarmer, 2019-04-30
• [Merge] lp:~widelands-dev/widelands/bug_1826669_MapDownloandChange into lp:widelands/build20
  From: Toni Förster, 2019-04-30
• Re: [Merge] lp:~widelands-dev/widelands/bug_1826669_MapDownloandChange into lp:widelands/build20
  From: Toni Förster, 2019-04-30
• [Merge] lp:~widelands-dev/widelands/list-directories-in-cpp into lp:widelands
  From: GunChleoc, 2019-04-28
• [Merge] lp:~widelands-dev/widelands/list-directories-in-cpp into lp:widelands
  From: bunnybot, 2019-04-28
• [Merge] lp:~widelands-dev/widelands/list-directories-in-cpp into lp:widelands
  From: GunChleoc, 2019-05-12
• Re: [Merge] lp:~widelands-dev/widelands/list-directories-in-cpp into lp:widelands
  From: Toni Förster, 2019-05-12
• Re: [Merge] lp:~widelands-dev/widelands/list-directories-in-cpp into lp:widelands
  From: GunChleoc, 2019-05-12
• Re: [Merge] lp:~widelands-dev/widelands/list-directories-in-cpp into lp:widelands
  From: kaputtnik, 2019-05-19
• Re: [Merge] lp:~widelands-dev/widelands/list-directories-in-cpp into lp:widelands
  From: kaputtnik, 2019-05-19
• Re: [Merge] lp:~widelands-dev/widelands/list-directories-in-cpp into lp:widelands
  From: kaputtnik, 2019-05-19
• Re: [Merge] lp:~widelands-dev/widelands/list-directories-in-cpp into lp:widelands
  From: Toni Förster, 2019-05-19
• Re: [Merge] lp:~widelands-dev/widelands/list-directories-in-cpp into lp:widelands
  From: kaputtnik, 2019-05-19
• Re: [Merge] lp:~widelands-dev/widelands/list-directories-in-cpp into lp:widelands
  From: GunChleoc, 2019-05-19
• Re: [Merge] lp:~widelands-dev/widelands/list-directories-in-cpp into lp:widelands
  From: GunChleoc, 2019-05-19
• Re: [Merge] lp:~widelands-dev/widelands/list-directories-in-cpp into lp:widelands
  From: kaputtnik, 2019-05-19
• Re: [Merge] lp:~widelands-dev/widelands/list-directories-in-cpp into lp:widelands
  From: GunChleoc, 2019-05-20
• [Merge] lp:~widelands-dev/widelands/list-directories-in-cpp into lp:widelands
  From: bunnybot, 2019-05-20
• Re: [Merge] lp:~widelands-dev/widelands/list-directories-in-cpp into lp:widelands
  From: kaputtnik, 2019-05-20
• Re: [Merge] lp:~widelands-dev/widelands/list-directories-in-cpp into lp:widelands
  From: kaputtnik, 2019-05-20
• Re: [Merge] lp:~widelands-dev/widelands/list-directories-in-cpp into lp:widelands
  From: Toni Förster, 2019-05-23
• Re: [Merge] lp:~widelands-dev/widelands/list-directories-in-cpp into lp:widelands
  From: GunChleoc, 2019-05-25
• Re: [Merge] lp:~widelands-dev/widelands/list-directories-in-cpp into lp:widelands
  From: Toni Förster, 2019-05-25
• Re: [Merge] lp:~widelands-dev/widelands/list-directories-in-cpp into lp:widelands
  From: GunChleoc, 2019-05-25
• [Merge] lp:~widelands-dev/widelands/list-directories-in-cpp into lp:widelands
  From: bunnybot, 2019-05-26
• [Merge] lp:~widelands-dev/widelands/list-directories-in-cpp into lp:widelands
  From: bunnybot, 2019-05-26
• [Merge] lp:~widelands-dev/widelands/list-directories-in-cpp into lp:widelands
  From: bunnybot, 2019-05-26
• Re: [Merge] lp:~widelands-dev/widelands/list-directories-in-cpp into lp:widelands
  From: GunChleoc, 2019-05-27
• [Merge] lp:~widelands-dev/widelands/list-directories-in-cpp into lp:widelands
  From: bunnybot, 2019-05-27
• [Merge] lp:~widelands-dev/widelands/list-directories-in-cpp into lp:widelands
  From: bunnybot, 2019-05-27
• Re: [Merge] lp:~widelands-dev/widelands/list-directories-in-cpp into lp:widelands
  From: GunChleoc, 2019-05-27
• [Merge] lp:~widelands-dev/widelands/list-directories-in-cpp into lp:widelands
  From: noreply, 2019-05-27
• [Merge] lp:~widelands-dev/widelands/bugfix-buildings-tooltips into lp:widelands
  From: hessenfarmer, 2019-04-27
• [Merge] lp:~widelands-dev/widelands/bugfix-buildings-tooltips into lp:widelands
  From: bunnybot, 2019-04-28
• Re: [Merge] lp:~widelands-dev/widelands/bugfix-buildings-tooltips into lp:widelands
  From: GunChleoc, 2019-04-28
• Re: [Merge] lp:~widelands-dev/widelands/bugfix-buildings-tooltips into lp:widelands
  From: hessenfarmer, 2019-04-28
• Re: [Merge] lp:~widelands-dev/widelands/bugfix-buildings-tooltips into lp:widelands
  From: GunChleoc, 2019-04-28
• [Merge] lp:~widelands-dev/widelands/bugfix-buildings-tooltips into lp:widelands
  From: bunnybot, 2019-04-28
• Re: [Merge] lp:~widelands-dev/widelands/bugfix-buildings-tooltips into lp:widelands
  From: hessenfarmer, 2019-04-30
• Re: [Merge] lp:~widelands-dev/widelands/bugfix-buildings-tooltips into lp:widelands
  From: Toni Förster, 2019-04-30
• Re: [Merge] lp:~widelands-dev/widelands/bugfix-buildings-tooltips into lp:widelands
  From: hessenfarmer, 2019-04-30
• Re: [Merge] lp:~widelands-dev/widelands/bugfix-buildings-tooltips into lp:widelands
  From: hessenfarmer, 2019-04-30
• [Merge] lp:~widelands-dev/widelands/bugfix-buildings-tooltips into lp:widelands
  From: bunnybot, 2019-04-30
• Re: [Merge] lp:~widelands-dev/widelands/bugfix-buildings-tooltips into lp:widelands
  From: hessenfarmer, 2019-04-30
• [Merge] lp:~widelands-dev/widelands/bugfix-buildings-tooltips into lp:widelands
  From: noreply, 2019-04-30
• [Merge] lp:~widelands-dev/widelands/bug1642882-clear-space-in-port-vicinity into lp:widelands
  From: hessenfarmer, 2019-04-26
• Re: [Merge] lp:~widelands-dev/widelands/bug1642882-clear-space-in-port-vicinity into lp:widelands
  From: GunChleoc, 2019-04-27
• [Merge] lp:~widelands-dev/widelands/bug1642882-clear-space-in-port-vicinity into lp:widelands
  From: bunnybot, 2019-04-27
• Re: [Merge] lp:~widelands-dev/widelands/bug1642882-clear-space-in-port-vicinity into lp:widelands
  From: GunChleoc, 2019-04-28
• [Merge] lp:~widelands-dev/widelands/bug1642882-clear-space-in-port-vicinity into lp:widelands
  From: noreply, 2019-04-28
• [Merge] lp:~widelands-dev/widelands/bug-1818013-new-logo into lp:widelands
  From: GunChleoc, 2019-04-25
• Re: [Merge] lp:~widelands-dev/widelands/bug-1818013-new-logo into lp:widelands
  From: Benedikt Straub, 2019-04-25
• [Merge] lp:~widelands-dev/widelands/bug-1818013-new-logo into lp:widelands
  From: bunnybot, 2019-04-25
• Re: [Merge] lp:~widelands-dev/widelands/bug-1818013-new-logo into lp:widelands
  From: GunChleoc, 2019-04-25
• Re: [Merge] lp:~widelands-dev/widelands/bug-1818013-new-logo into lp:widelands
  From: Toni Förster, 2019-04-25
• Re: [Merge] lp:~widelands-dev/widelands/bug-1818013-new-logo into lp:widelands
  From: GunChleoc, 2019-04-25
• [Merge] lp:~widelands-dev/widelands/bug-1818013-new-logo into lp:widelands
  From: bunnybot, 2019-05-17
• Re: [Merge] lp:~widelands-dev/widelands/bug-1818013-new-logo into lp:widelands
  From: GunChleoc, 2019-05-18
• Re: [Merge] lp:~widelands-dev/widelands/bug-1818013-new-logo into lp:widelands
  From: kaputtnik, 2019-05-19
• Re: [Merge] lp:~widelands-dev/widelands/bug-1818013-new-logo into lp:widelands
  From: GunChleoc, 2019-05-20
• [Merge] lp:~widelands-dev/widelands/bug-1818013-new-logo into lp:widelands
  From: noreply, 2019-05-20
• [Merge] lp:~widelands-dev/widelands/appveyorboost1.70 into lp:widelands
  From: hessenfarmer, 2019-04-25
• [Merge] lp:~widelands-dev/widelands/appveyorboost1.70 into lp:widelands
  From: GunChleoc, 2019-04-25
• [Merge] lp:~widelands-dev/widelands/appveyorboost1.70 into lp:widelands
  From: GunChleoc, 2019-04-25
• [Merge] lp:~widelands-dev/widelands/appveyorboost1.70 into lp:widelands
  From: bunnybot, 2019-04-25
• [Merge] lp:~widelands-dev/widelands/appveyorboost1.70 into lp:widelands
  From: bunnybot, 2019-04-25
• Re: [Merge] lp:~widelands-dev/widelands/appveyorboost1.70 into lp:widelands
  From: GunChleoc, 2019-04-26
• [Merge] lp:~widelands-dev/widelands/appveyorboost1.70 into lp:widelands
  From: noreply, 2019-04-26
• [Merge] lp:~widelands-dev/widelands/editor-grid into lp:widelands
  From: Benedikt Straub, 2019-04-24
• [Merge] lp:~widelands-dev/widelands/editor-grid into lp:widelands
  From: Benedikt Straub, 2019-04-24
• [Merge] lp:~widelands-dev/widelands/editor-grid into lp:widelands
  From: Benedikt Straub, 2019-04-24
• <Possible follow-ups>
• [Merge] lp:~widelands-dev/widelands/editor-grid into lp:widelands
  From: Benedikt Straub, 2019-04-24
• Re: [Merge] lp:~widelands-dev/widelands/editor-grid into lp:widelands
  From: Benedikt Straub, 2019-04-24
• [Merge] lp:~widelands-dev/widelands/editor-grid into lp:widelands
  From: Benedikt Straub, 2019-04-24
• [Merge] lp:~widelands-dev/widelands/editor-grid into lp:widelands
  From: Benedikt Straub, 2019-04-25
• Re: [Merge] lp:~widelands-dev/widelands/editor-grid into lp:widelands
  From: GunChleoc, 2019-04-25
• [Merge] lp:~widelands-dev/widelands/editor-grid into lp:widelands
  From: bunnybot, 2019-04-25
• [Merge] lp:~widelands-dev/widelands/editor-grid into lp:widelands
  From: bunnybot, 2019-04-25
• Re: [Merge] lp:~widelands-dev/widelands/editor-grid into lp:widelands
  From: GunChleoc, 2019-04-25
• [Merge] lp:~widelands-dev/widelands/editor-grid into lp:widelands
  From: noreply, 2019-04-25
• [Merge] lp:~widelands-dev/widelands/bug-1825925-mac-dylib-fix into lp:widelands/build20
  From: Toni Förster, 2019-04-23
• Re: [Merge] lp:~widelands-dev/widelands/bug-1825925-mac-dylib-fix into lp:widelands/build20
  From: SirVer, 2019-04-24
• Re: [Merge] lp:~widelands-dev/widelands/bug-1825925-mac-dylib-fix into lp:widelands/build20
  From: SirVer, 2019-04-24
• Re: [Merge] lp:~widelands-dev/widelands/bug-1825925-mac-dylib-fix into lp:widelands/build20
  From: Toni Förster, 2019-04-24
• [Merge] lp:~widelands-dev/widelands/bug-1825925-mac-dylib-fix into lp:widelands/build20
  From: GunChleoc, 2019-04-24
• [Merge] lp:~widelands-dev/widelands/bug-1825925-mac-dylib-fix into lp:widelands
  From: Toni Förster, 2019-04-23
• [Merge] lp:~widelands-dev/widelands/bug-1825925-mac-dylib-fix into lp:widelands
  From: Toni Förster, 2019-04-23
• [Merge] lp:~widelands-dev/widelands/fix_fix_dependencies into lp:widelands
  From: SirVer, 2019-04-23
• [Merge] lp:~widelands-dev/widelands/fix_fix_dependencies into lp:widelands
  From: bunnybot, 2019-04-24
• Re: [Merge] lp:~widelands-dev/widelands/fix_fix_dependencies into lp:widelands
  From: Toni Förster, 2019-04-24
• Re: [Merge] lp:~widelands-dev/widelands/fix_fix_dependencies into lp:widelands
  From: GunChleoc, 2019-04-24
• Re: [Merge] lp:~widelands-dev/widelands/fix_fix_dependencies into lp:widelands
  From: GunChleoc, 2019-04-24
• [Merge] lp:~widelands-dev/widelands/fix_fix_dependencies into lp:widelands
  From: noreply, 2019-04-24
• Please do not push to the Widelands repo
  From: Fòram na Gàidhlig, 2019-04-22
• Windows builds are done
  From: Fòram na Gàidhlig, 2019-04-23
• [Build #16672737] i386 build of widelands 1:20-0-1~ubuntu19.10.1 in ubuntu eoan RELEASE [~widelands-dev/ubuntu/widelands]
  From: Launchpad Buildd System, 2019-04-22
• [Build #16672736] amd64 build of widelands 1:20-0-1~ubuntu19.10.1 in ubuntu eoan RELEASE [~widelands-dev/ubuntu/widelands]
  From: Launchpad Buildd System, 2019-04-22
• [Merge] lp:~widelands-dev/widelands/bug-1825811-ubuntu-eoan into lp:widelands
  From: Toni Förster, 2019-04-22
• Re: [Merge] lp:~widelands-dev/widelands/bug-1825811-ubuntu-eoan into lp:widelands
  From: GunChleoc, 2019-04-22
• Re: [Merge] lp:~widelands-dev/widelands/bug-1825811-ubuntu-eoan into lp:widelands
  From: GunChleoc, 2019-04-22
• [Merge] lp:~widelands-dev/widelands/bug-1825811-ubuntu-eoan into lp:widelands
  From: bunnybot, 2019-04-22
• [Merge] lp:~widelands-dev/widelands/bug-1825811-ubuntu-eoan into lp:widelands
  From: noreply, 2019-04-22
• [Build #16672674] i386 build of widelands 1:19-ppa0-bzr9058-201904220842~ubuntu19.10.1 in ubuntu eoan RELEASE [~widelands-dev/ubuntu/widelands-daily]
  From: Launchpad Buildd System, 2019-04-22
• [Build #16672673] amd64 build of widelands 1:19-ppa0-bzr9058-201904220842~ubuntu19.10.1 in ubuntu eoan RELEASE [~widelands-dev/ubuntu/widelands-daily]
  From: Launchpad Buildd System, 2019-04-22
• [Merge] lp:widelands/build20 into lp:widelands
  From: GunChleoc, 2019-04-22
• [Merge] lp:widelands/build20 into lp:widelands
  From: GunChleoc, 2019-04-22
• [Merge] lp:widelands/build20 into lp:widelands
  From: bunnybot, 2019-04-22
• [Merge] lp:widelands/build20 into lp:widelands
  From: bunnybot, 2019-04-23
• [Merge] lp:widelands/build20 into lp:widelands
  From: GunChleoc, 2019-04-23
• <Possible follow-ups>
• [Merge] lp:widelands/build20 into lp:widelands
  From: GunChleoc, 2019-05-02
• [Merge] lp:widelands/build20 into lp:widelands
  From: bunnybot, 2019-05-03
• [Merge] lp:widelands/build20 into lp:widelands
  From: bunnybot, 2019-05-03
• [Merge] lp:~widelands-dev/widelands/split_up_liblogic_2_mapobjectdescr into lp:widelands
  From: GunChleoc, 2019-04-20
• [Merge] lp:~widelands-dev/widelands/split_up_liblogic_2_mapobjectdescr into lp:widelands
  From: GunChleoc, 2019-04-20
• [Merge] lp:~widelands-dev/widelands/split_up_liblogic_2_mapobjectdescr into lp:widelands
  From: bunnybot, 2019-04-20
• [Merge] lp:~widelands-dev/widelands/split_up_liblogic_2_mapobjectdescr into lp:widelands
  From: bunnybot, 2019-04-26
• [Merge] lp:~widelands-dev/widelands/split_up_liblogic_2_mapobjectdescr into lp:widelands
  From: bunnybot, 2019-05-05
• Re: [Merge] lp:~widelands-dev/widelands/split_up_liblogic_2_mapobjectdescr into lp:widelands
  From: Benedikt Straub, 2019-05-05
• Re: [Merge] lp:~widelands-dev/widelands/split_up_liblogic_2_mapobjectdescr into lp:widelands
  From: GunChleoc, 2019-05-05
• [Merge] lp:~widelands-dev/widelands/split_up_liblogic_2_mapobjectdescr into lp:widelands
  From: noreply, 2019-05-05
• [Merge] lp:~widelands-dev/widelands/fix-wl_include_system_directories into lp:widelands
  From: GunChleoc, 2019-04-18
• [Merge] lp:~widelands-dev/widelands/fix-wl_include_system_directories into lp:widelands
  From: GunChleoc, 2019-04-18
• [Merge] lp:~widelands-dev/widelands/fix-wl_include_system_directories into lp:widelands
  From: GunChleoc, 2019-04-18
• [Merge] lp:~widelands-dev/widelands/fix-wl_include_system_directories into lp:widelands
  From: GunChleoc, 2019-04-18
• [Merge] lp:~widelands-dev/widelands/fix-wl_include_system_directories into lp:widelands
  From: bunnybot, 2019-04-18
• [Merge] lp:~widelands-dev/widelands/fix-wl_include_system_directories into lp:widelands
  From: GunChleoc, 2019-04-19
• Re: [Merge] lp:~widelands-dev/widelands/fix-wl_include_system_directories into lp:widelands
  From: GunChleoc, 2019-04-19
• [Merge] lp:~widelands-dev/widelands/fix-wl_include_system_directories into lp:widelands
  From: bunnybot, 2019-04-19
• [Merge] lp:~widelands-dev/widelands/fix-wl_include_system_directories into lp:widelands
  From: noreply, 2019-04-19
• [Merge] lp:~widelands-dev/widelands/bug-1818494-no-negative-zoom into lp:widelands
  From: GunChleoc, 2019-04-18
• [Merge] lp:~widelands-dev/widelands/bug-1818494-no-negative-zoom into lp:widelands
  From: bunnybot, 2019-04-18
• [Merge] lp:~widelands-dev/widelands/bug-1818494-no-negative-zoom into lp:widelands
  From: bunnybot, 2019-04-20
• Re: [Merge] lp:~widelands-dev/widelands/bug-1818494-no-negative-zoom into lp:widelands
  From: GunChleoc, 2019-04-20
• [Merge] lp:~widelands-dev/widelands/bug-1818494-no-negative-zoom into lp:widelands
  From: noreply, 2019-04-20
• [Merge] lp:~widelands-dev/widelands-website/css_border into lp:widelands-website
  From: kaputtnik, 2019-04-15
• Re: [Merge] lp:~widelands-dev/widelands-website/css_border into lp:widelands-website
  From: GunChleoc, 2019-04-16
• [Merge] lp:~widelands-dev/widelands-website/css_border into lp:widelands-website
  From: noreply, 2019-04-16
• Re: [Merge] lp:~widelands-dev/widelands-website/css_border into lp:widelands-website
  From: kaputtnik, 2019-04-16
• [Merge] lp:~widelands-dev/widelands/changelog-b20-rc1 into lp:widelands
  From: GunChleoc, 2019-04-15
• [Merge] lp:~widelands-dev/widelands/changelog-b20-rc1 into lp:widelands
  From: bunnybot, 2019-04-15
• Re: [Merge] lp:~widelands-dev/widelands/changelog-b20-rc1 into lp:widelands
  From: hessenfarmer, 2019-04-17
• Re: [Merge] lp:~widelands-dev/widelands/changelog-b20-rc1 into lp:widelands
  From: GunChleoc, 2019-04-17
• [Merge] lp:~widelands-dev/widelands/changelog-b20-rc1 into lp:widelands
  From: noreply, 2019-04-17
• [Merge] lp:~widelands-dev/widelands-website/screshot_ordering into lp:widelands-website
  From: kaputtnik, 2019-04-09
• Re: [Merge] lp:~widelands-dev/widelands-website/screshot_ordering into lp:widelands-website
  From: GunChleoc, 2019-04-10
• [Merge] lp:~widelands-dev/widelands-website/screshot_ordering into lp:widelands-website
  From: noreply, 2019-04-10
• Re: [Merge] lp:~widelands-dev/widelands-website/screshot_ordering into lp:widelands-website
  From: kaputtnik, 2019-04-10
• Re: [Merge] lp:~widelands-dev/widelands-website/screshot_ordering into lp:widelands-website
  From: GunChleoc, 2019-04-10
• [Merge] lp:~widelands-dev/widelands/bug-1823612-llvm8-build-errors into lp:widelands
  From: GunChleoc, 2019-04-08
• [Merge] lp:~widelands-dev/widelands/bug-1823612-llvm8-build-errors into lp:widelands
  From: bunnybot, 2019-04-09
• Re: [Merge] lp:~widelands-dev/widelands/bug-1823612-llvm8-build-errors into lp:widelands
  From: GunChleoc, 2019-04-09
• Re: [Merge] lp:~widelands-dev/widelands/bug-1823612-llvm8-build-errors into lp:widelands
  From: hessenfarmer, 2019-04-09
• Re: [Merge] lp:~widelands-dev/widelands/bug-1823612-llvm8-build-errors into lp:widelands
  From: TiborB, 2019-04-09
• Re: [Merge] lp:~widelands-dev/widelands/bug-1823612-llvm8-build-errors into lp:widelands
  From: hessenfarmer, 2019-04-09
• [Merge] lp:~widelands-dev/widelands/bug-1823612-llvm8-build-errors into lp:widelands
  From: bunnybot, 2019-04-09
• Re: [Merge] lp:~widelands-dev/widelands/bug-1823612-llvm8-build-errors into lp:widelands
  From: GunChleoc, 2019-04-10
• Re: [Merge] lp:~widelands-dev/widelands/bug-1823612-llvm8-build-errors into lp:widelands
  From: TiborB, 2019-04-10
• Re: [Merge] lp:~widelands-dev/widelands/bug-1823612-llvm8-build-errors into lp:widelands
  From: hessenfarmer, 2019-04-10
• Re: [Merge] lp:~widelands-dev/widelands/bug-1823612-llvm8-build-errors into lp:widelands
  From: hessenfarmer, 2019-04-10
• Re: [Merge] lp:~widelands-dev/widelands/bug-1823612-llvm8-build-errors into lp:widelands
  From: TiborB, 2019-04-10
• Re: [Merge] lp:~widelands-dev/widelands/bug-1823612-llvm8-build-errors into lp:widelands
  From: GunChleoc, 2019-04-10
• Re: [Merge] lp:~widelands-dev/widelands/bug-1823612-llvm8-build-errors into lp:widelands
  From: hessenfarmer, 2019-04-10
• [Merge] lp:~widelands-dev/widelands/bug-1823612-llvm8-build-errors into lp:widelands
  From: bunnybot, 2019-04-10
• Re: [Merge] lp:~widelands-dev/widelands/bug-1823612-llvm8-build-errors into lp:widelands
  From: GunChleoc, 2019-04-11
• [Merge] lp:~widelands-dev/widelands/bug-1823612-llvm8-build-errors into lp:widelands
  From: noreply, 2019-04-11
• [Merge] lp:~widelands-dev/widelands/bug1823471-empire3-4-victory into lp:widelands
  From: hessenfarmer, 2019-04-07
• Re: [Merge] lp:~widelands-dev/widelands/bug1823471-empire3-4-victory into lp:widelands
  From: GunChleoc, 2019-04-08
• [Merge] lp:~widelands-dev/widelands/bug1823471-empire3-4-victory into lp:widelands
  From: bunnybot, 2019-04-08
• Re: [Merge] lp:~widelands-dev/widelands/bug1823471-empire3-4-victory into lp:widelands
  From: GunChleoc, 2019-04-23
• [Merge] lp:~widelands-dev/widelands/bug1823471-empire3-4-victory into lp:widelands
  From: noreply, 2019-04-23
• [Merge] lp:~widelands-dev/widelands/editor-resize-map into lp:widelands
  From: Benedikt Straub, 2019-04-07
• [Merge] lp:~widelands-dev/widelands/editor-resize-map into lp:widelands
  From: bunnybot, 2019-04-08
• Re: [Merge] lp:~widelands-dev/widelands/editor-resize-map into lp:widelands
  From: GunChleoc, 2019-04-08
• Re: [Merge] lp:~widelands-dev/widelands/editor-resize-map into lp:widelands
  From: Benedikt Straub, 2019-04-08
• [Merge] lp:~widelands-dev/widelands/editor-resize-map into lp:widelands
  From: bunnybot, 2019-04-09
• Re: [Merge] lp:~widelands-dev/widelands/editor-resize-map into lp:widelands
  From: GunChleoc, 2019-04-09
• Re: [Merge] lp:~widelands-dev/widelands/editor-resize-map into lp:widelands
  From: GunChleoc, 2019-04-10
• Re: [Merge] lp:~widelands-dev/widelands/editor-resize-map into lp:widelands
  From: Benedikt Straub, 2019-04-10
• [Merge] lp:~widelands-dev/widelands/editor-resize-map into lp:widelands
  From: bunnybot, 2019-04-10
• Re: [Merge] lp:~widelands-dev/widelands/editor-resize-map into lp:widelands
  From: GunChleoc, 2019-04-11
• Re: [Merge] lp:~widelands-dev/widelands/editor-resize-map into lp:widelands
  From: GunChleoc, 2019-04-23
• [Merge] lp:~widelands-dev/widelands/editor-resize-map into lp:widelands
  From: bunnybot, 2019-04-23
• [Merge] lp:~widelands-dev/widelands/editor-resize-map into lp:widelands
  From: bunnybot, 2019-04-23
• Re: [Merge] lp:~widelands-dev/widelands/editor-resize-map into lp:widelands
  From: GunChleoc, 2019-04-23
• Re: [Merge] lp:~widelands-dev/widelands/editor-resize-map into lp:widelands
  From: GunChleoc, 2019-04-23
• [Merge] lp:~widelands-dev/widelands/editor-resize-map into lp:widelands
  From: bunnybot, 2019-04-24
• Re: [Merge] lp:~widelands-dev/widelands/editor-resize-map into lp:widelands
  From: GunChleoc, 2019-04-24
• [Merge] lp:~widelands-dev/widelands/editor-resize-map into lp:widelands
  From: noreply, 2019-04-24
• [Merge] lp:~widelands-dev/widelands/bug-1764318-barbarian-lore into lp:widelands
  From: hessenfarmer, 2019-04-07
• [Merge] lp:~widelands-dev/widelands/bug-1764318-barbarian-lore into lp:widelands
  From: bunnybot, 2019-04-08

 •  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