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-1662425-training-balancing into lp:widelands, (continued)
  • Re: [Merge] lp:~widelands-dev/widelands/bug-1662425-training-balancing into lp:widelands
    From: TiborB, 2018-01-20
  • Re: [Merge] lp:~widelands-dev/widelands/bug-1662425-training-balancing into lp:widelands
    From: GunChleoc, 2018-01-26
  • [Merge] lp:~widelands-dev/widelands/bug-1662425-training-balancing into lp:widelands
    From: noreply, 2018-01-26
• [Merge] lp:~widelands-dev/widelands/fh1-sharedptr into lp:widelands
  From: GunChleoc, 2017-12-06
• [Merge] lp:~widelands-dev/widelands/fh1-sharedptr into lp:widelands
  From: bunnybot, 2017-12-06
• Re: [Merge] lp:~widelands-dev/widelands/fh1-sharedptr into lp:widelands
  From: Notabilis, 2017-12-09
• Re: [Merge] lp:~widelands-dev/widelands/fh1-sharedptr into lp:widelands
  From: GunChleoc, 2017-12-09
• [Merge] lp:~widelands-dev/widelands/fh1-sharedptr into lp:widelands
  From: noreply, 2017-12-10
• [Merge] lp:~widelands-dev/widelands/bug-1699778-multilineeditbox-handle-key-enter into lp:widelands
  From: Jukka Pakarinen, 2017-12-04
• [Merge] lp:~widelands-dev/widelands/bug-1699778-multilineeditbox-handle-key-enter into lp:widelands
  From: Jukka Pakarinen, 2017-12-04
• [Merge] lp:~widelands-dev/widelands/bug-1699778-multilineeditbox-handle-key-enter into lp:widelands
  From: bunnybot, 2017-12-04
• [Merge] lp:~widelands-dev/widelands/bug-1699778-multilineeditbox-handle-key-enter into lp:widelands
  From: GunChleoc, 2017-12-05
• Re: [Merge] lp:~widelands-dev/widelands/bug-1699778-multilineeditbox-handle-key-enter into lp:widelands
  From: GunChleoc, 2017-12-05
• [Merge] lp:~widelands-dev/widelands/bug-1699778-multilineeditbox-handle-key-enter into lp:widelands
  From: noreply, 2017-12-05
• [Merge] lp:~widelands-dev/widelands/multilineeditbox-uninitialized_value into lp:widelands
  From: Jukka Pakarinen, 2017-12-03
• [Merge] lp:~widelands-dev/widelands/multilineeditbox-uninitialized_value into lp:widelands
  From: bunnybot, 2017-12-04
• [Merge] lp:~widelands-dev/widelands/multilineeditbox-uninitialized_value into lp:widelands
  From: GunChleoc, 2017-12-05
• Re: [Merge] lp:~widelands-dev/widelands/multilineeditbox-uninitialized_value into lp:widelands
  From: GunChleoc, 2017-12-05
• [Merge] lp:~widelands-dev/widelands/multilineeditbox-uninitialized_value into lp:widelands
  From: bunnybot, 2017-12-05
• [Merge] lp:~widelands-dev/widelands/multilineeditbox-uninitialized_value into lp:widelands
  From: noreply, 2017-12-05
• [Merge] lp:~widelands-dev/widelands-website/wiki_no_delete into lp:widelands-website
  From: kaputtnik, 2017-12-03
• Re: [Merge] lp:~widelands-dev/widelands-website/wiki_no_delete into lp:widelands-website
  From: GunChleoc, 2017-12-04
• [Merge] lp:~widelands-dev/widelands-website/wiki_no_delete into lp:widelands-website
  From: noreply, 2017-12-05
• Re: [Merge] lp:~widelands-dev/widelands-website/wiki_no_delete into lp:widelands-website
  From: kaputtnik, 2017-12-05
• [Merge] lp:~widelands-dev/widelands/bug-1735980-save-map into lp:widelands
  From: GunChleoc, 2017-12-03
• Re: [Merge] lp:~widelands-dev/widelands/bug-1735980-save-map into lp:widelands
  From: kaputtnik, 2017-12-03
• [Merge] lp:~widelands-dev/widelands/bug-1735980-save-map into lp:widelands
  From: bunnybot, 2017-12-03
• Re: [Merge] lp:~widelands-dev/widelands/bug-1735980-save-map into lp:widelands
  From: kaputtnik, 2017-12-04
• Re: [Merge] lp:~widelands-dev/widelands/bug-1735980-save-map into lp:widelands
  From: kaputtnik, 2017-12-04
• Re: [Merge] lp:~widelands-dev/widelands/bug-1735980-save-map into lp:widelands
  From: GunChleoc, 2017-12-04
• Re: [Merge] lp:~widelands-dev/widelands/bug-1735980-save-map into lp:widelands
  From: kaputtnik, 2017-12-04
• Re: [Merge] lp:~widelands-dev/widelands/bug-1735980-save-map into lp:widelands
  From: GunChleoc, 2017-12-04
• [Merge] lp:~widelands-dev/widelands/bug-1735980-save-map into lp:widelands
  From: noreply, 2017-12-04
• [Merge] lp:~widelands-dev/widelands/can_act into lp:widelands
  From: GunChleoc, 2017-12-02
• Re: [Merge] lp:~widelands-dev/widelands/can_act into lp:widelands
  From: SirVer, 2017-12-02
• Re: [Merge] lp:~widelands-dev/widelands/can_act into lp:widelands
  From: GunChleoc, 2017-12-02
• Re: [Merge] lp:~widelands-dev/widelands/can_act into lp:widelands
  From: SirVer, 2017-12-02
• [Merge] lp:~widelands-dev/widelands/can_act into lp:widelands
  From: bunnybot, 2017-12-03
• [Merge] lp:~widelands-dev/widelands/can_act into lp:widelands
  From: noreply, 2017-12-03
• [Merge] lp:~widelands-dev/widelands/fix_resend_player_command_in_inputqueues into lp:widelands
  From: SirVer, 2017-12-01
• Re: [Merge] lp:~widelands-dev/widelands/fix_resend_player_command_in_inputqueues into lp:widelands
  From: GunChleoc, 2017-12-01
• [Merge] lp:~widelands-dev/widelands/fix_resend_player_command_in_inputqueues into lp:widelands
  From: SirVer, 2017-12-01
• [Merge] lp:~widelands-dev/widelands/fix_resend_player_command_in_inputqueues into lp:widelands
  From: bunnybot, 2017-12-02
• [Merge] lp:~widelands-dev/widelands/fix_resend_player_command_in_inputqueues into lp:widelands
  From: noreply, 2017-12-02
• [Merge] lp:~hjd/widelands/osx-new-default into lp:widelands
  From: Hans Joachim Desserud, 2017-12-01
• [Merge] lp:~widelands-dev/widelands/keep_optr_in_ui into lp:widelands
  From: SirVer, 2017-11-30
• Re: [Merge] lp:~widelands-dev/widelands/keep_optr_in_ui into lp:widelands
  From: GunChleoc, 2017-11-30
• Re: [Merge] lp:~widelands-dev/widelands/keep_optr_in_ui into lp:widelands
  From: SirVer, 2017-11-30
• Re: [Merge] lp:~widelands-dev/widelands/keep_optr_in_ui into lp:widelands
  From: SirVer, 2017-11-30
• Re: [Merge] lp:~widelands-dev/widelands/keep_optr_in_ui into lp:widelands
  From: SirVer, 2017-11-30
• Re: [Merge] lp:~widelands-dev/widelands/keep_optr_in_ui into lp:widelands
  From: GunChleoc, 2017-11-30
• Re: [Merge] lp:~widelands-dev/widelands/keep_optr_in_ui into lp:widelands
  From: kaputtnik, 2017-11-30
• Re: [Merge] lp:~widelands-dev/widelands/keep_optr_in_ui into lp:widelands
  From: kaputtnik, 2017-11-30
• [Merge] lp:~widelands-dev/widelands/keep_optr_in_ui into lp:widelands
  From: SirVer, 2017-11-30
• [Merge] lp:~widelands-dev/widelands/keep_optr_in_ui into lp:widelands
  From: bunnybot, 2017-12-01
• Re: [Merge] lp:~widelands-dev/widelands/keep_optr_in_ui into lp:widelands
  From: GunChleoc, 2017-12-01
• [Merge] lp:~widelands-dev/widelands/keep_optr_in_ui into lp:widelands
  From: noreply, 2017-12-01
• [Merge] lp:~widelands-dev/widelands/replace-regex into lp:widelands
  From: GunChleoc, 2017-11-30
• Re: [Merge] lp:~widelands-dev/widelands/replace-regex into lp:widelands
  From: SirVer, 2017-11-30
• [Merge] lp:~widelands-dev/widelands/replace-regex into lp:widelands
  From: bunnybot, 2017-11-30
• Re: [Merge] lp:~widelands-dev/widelands/replace-regex into lp:widelands
  From: GunChleoc, 2017-12-01
• [Merge] lp:~widelands-dev/widelands/replace-regex into lp:widelands
  From: GunChleoc, 2017-12-01
• [Merge] lp:~widelands-dev/widelands/bug-1734748-savegame-filename into lp:widelands
  From: GunChleoc, 2017-11-29
• Re: [Merge] lp:~widelands-dev/widelands/bug-1734748-savegame-filename into lp:widelands
  From: Klaus Halfmann, 2017-11-29
• Re: [Merge] lp:~widelands-dev/widelands/bug-1734748-savegame-filename into lp:widelands
  From: kaputtnik, 2017-11-29
• [Merge] lp:~widelands-dev/widelands/bug-1734748-savegame-filename into lp:widelands
  From: bunnybot, 2017-11-30
• Re: [Merge] lp:~widelands-dev/widelands/bug-1734748-savegame-filename into lp:widelands
  From: GunChleoc, 2017-11-30
• [Merge] lp:~widelands-dev/widelands/bug-1734748-savegame-filename into lp:widelands
  From: bunnybot, 2017-11-30
• [Merge] lp:~widelands-dev/widelands/bug-1734748-savegame-filename into lp:widelands
  From: noreply, 2017-11-30
• [Merge] lp:~widelands-dev/widelands/fix_invalid_memory_access_on_dismantle into lp:widelands
  From: SirVer, 2017-11-29
• Re: [Merge] lp:~widelands-dev/widelands/fix_invalid_memory_access_on_dismantle into lp:widelands
  From: GunChleoc, 2017-11-29
• [Merge] lp:~widelands-dev/widelands/fix_invalid_memory_access_on_dismantle into lp:widelands
  From: bunnybot, 2017-11-29
• [Merge] lp:~widelands-dev/widelands/fix_invalid_memory_access_on_dismantle into lp:widelands
  From: bunnybot, 2017-11-29
• Re: [Merge] lp:~widelands-dev/widelands/fix_invalid_memory_access_on_dismantle into lp:widelands
  From: Klaus Halfmann, 2017-11-29
• Re: [Merge] lp:~widelands-dev/widelands/fix_invalid_memory_access_on_dismantle into lp:widelands
  From: Klaus Halfmann, 2017-11-29
• Re: [Merge] lp:~widelands-dev/widelands/fix_invalid_memory_access_on_dismantle into lp:widelands
  From: SirVer, 2017-11-29
• [Merge] lp:~widelands-dev/widelands/fix_invalid_memory_access_on_dismantle into lp:widelands
  From: noreply, 2017-11-29
• [Merge] lp:~widelands-dev/widelands/bug-1734046-statistics_menu into lp:widelands
  From: GunChleoc, 2017-11-28
• Re: [Merge] lp:~widelands-dev/widelands/bug-1734046-statistics_menu into lp:widelands
  From: SirVer, 2017-11-29
• Re: [Merge] lp:~widelands-dev/widelands/bug-1734046-statistics_menu into lp:widelands
  From: GunChleoc, 2017-11-29
• Re: [Merge] lp:~widelands-dev/widelands/bug-1734046-statistics_menu into lp:widelands
  From: Klaus Halfmann, 2017-11-29
• [Merge] lp:~widelands-dev/widelands/bug-1734046-statistics_menu into lp:widelands
  From: bunnybot, 2017-11-30
• [Merge] lp:~widelands-dev/widelands/bug-1734046-statistics_menu into lp:widelands
  From: bunnybot, 2017-11-30
• Re: [Merge] lp:~widelands-dev/widelands/bug-1734046-statistics_menu into lp:widelands
  From: GunChleoc, 2017-11-30
• [Merge] lp:~widelands-dev/widelands/bug-1734046-statistics_menu into lp:widelands
  From: noreply, 2017-11-30
• [Merge] lp:~widelands-dev/widelands/add_player_to_note_economy into lp:widelands
  From: SirVer, 2017-11-28
• Re: [Merge] lp:~widelands-dev/widelands/add_player_to_note_economy into lp:widelands
  From: GunChleoc, 2017-11-28
• [Merge] lp:~widelands-dev/widelands/add_player_to_note_economy into lp:widelands
  From: SirVer, 2017-11-28
• [Merge] lp:~widelands-dev/widelands/add_player_to_note_economy into lp:widelands
  From: bunnybot, 2017-11-29
• [Merge] lp:~widelands-dev/widelands/add_player_to_note_economy into lp:widelands
  From: GunChleoc, 2017-11-29
• Re: [Merge] lp:~widelands-dev/widelands/add_player_to_note_economy into lp:widelands
  From: GunChleoc, 2017-11-29
• [Merge] lp:~widelands-dev/widelands/add_player_to_note_economy into lp:widelands
  From: bunnybot, 2017-11-29
• [Merge] lp:~widelands-dev/widelands/add_player_to_note_economy into lp:widelands
  From: bunnybot, 2017-11-29
• Re: [Merge] lp:~widelands-dev/widelands/add_player_to_note_economy into lp:widelands
  From: SirVer, 2017-11-29
• [Merge] lp:~widelands-dev/widelands/add_player_to_note_economy into lp:widelands
  From: noreply, 2017-11-29
• [Merge] lp:~widelands-dev/widelands/bug-1734199 into lp:widelands
  From: TiborB, 2017-11-28
• Re: [Merge] lp:~widelands-dev/widelands/bug-1734199 into lp:widelands
  From: GunChleoc, 2017-11-28
• Re: [Merge] lp:~widelands-dev/widelands/bug-1734199 into lp:widelands
  From: TiborB, 2017-11-28
• [Merge] lp:~widelands-dev/widelands/bug-1734199 into lp:widelands
  From: bunnybot, 2017-11-28
• Re: [Merge] lp:~widelands-dev/widelands/bug-1734199 into lp:widelands
  From: GunChleoc, 2017-11-30
• [Merge] lp:~widelands-dev/widelands/bug-1734199 into lp:widelands
  From: noreply, 2017-11-30
• [Merge] lp:~widelands-dev/widelands/fix_asan_building into lp:widelands
  From: SirVer, 2017-11-28
• [Merge] lp:~widelands-dev/widelands/fix_asan_building into lp:widelands
  From: bunnybot, 2017-11-28
• Re: [Merge] lp:~widelands-dev/widelands/fix_asan_building into lp:widelands
  From: GunChleoc, 2017-11-28
• Re: [Merge] lp:~widelands-dev/widelands/fix_asan_building into lp:widelands
  From: SirVer, 2017-11-28
• Re: [Merge] lp:~widelands-dev/widelands/fix_asan_building into lp:widelands
  From: GunChleoc, 2017-11-29
• [Merge] lp:~widelands-dev/widelands/fix_asan_building into lp:widelands
  From: noreply, 2017-11-29
• [Build #13784046] i386 build of widelands 1:19-ppa0-bzr8507-201711272346~ubuntu14.04.1 in ubuntu trusty RELEASE [~widelands-dev/ubuntu/widelands-daily]
  From: Launchpad Buildd System, 2017-11-28
• [Build #13784045] amd64 build of widelands 1:19-ppa0-bzr8507-201711272346~ubuntu14.04.1 in ubuntu trusty RELEASE [~widelands-dev/ubuntu/widelands-daily]
  From: Launchpad Buildd System, 2017-11-28
• [Build #13784056] i386 build of widelands 1:19-ppa0-bzr8507-201711272346~ubuntu17.10.1 in ubuntu artful RELEASE [~widelands-dev/ubuntu/widelands-daily]
  From: Launchpad Buildd System, 2017-11-28
• [Build #13784054] i386 build of widelands 1:19-ppa0-bzr8507-201711272346~ubuntu17.04.1 in ubuntu zesty RELEASE [~widelands-dev/ubuntu/widelands-daily]
  From: Launchpad Buildd System, 2017-11-28
• [Build #13784058] i386 build of widelands 1:19-ppa0-bzr8507-201711272346~ubuntu16.04.1 in ubuntu xenial RELEASE [~widelands-dev/ubuntu/widelands-daily]
  From: Launchpad Buildd System, 2017-11-28
• [Build #13784057] amd64 build of widelands 1:19-ppa0-bzr8507-201711272346~ubuntu16.04.1 in ubuntu xenial RELEASE [~widelands-dev/ubuntu/widelands-daily]
  From: Launchpad Buildd System, 2017-11-28
• [Build #13784055] amd64 build of widelands 1:19-ppa0-bzr8507-201711272346~ubuntu17.10.1 in ubuntu artful RELEASE [~widelands-dev/ubuntu/widelands-daily]
  From: Launchpad Buildd System, 2017-11-28
• [Build #13784053] amd64 build of widelands 1:19-ppa0-bzr8507-201711272346~ubuntu17.04.1 in ubuntu zesty RELEASE [~widelands-dev/ubuntu/widelands-daily]
  From: Launchpad Buildd System, 2017-11-28
• [Merge] lp:~hjd/widelands/asan-off-deb-package into lp:widelands
  From: Hans Joachim Desserud, 2017-11-27
• [Build #13780583] i386 build of widelands 1:19-ppa0-bzr8503-201711262346~ubuntu17.10.1 in ubuntu artful RELEASE [~widelands-dev/ubuntu/widelands-daily]
  From: Launchpad Buildd System, 2017-11-27
• [Build #13780585] i386 build of widelands 1:19-ppa0-bzr8503-201711262346~ubuntu16.04.1 in ubuntu xenial RELEASE [~widelands-dev/ubuntu/widelands-daily]
  From: Launchpad Buildd System, 2017-11-27
• [Build #13780582] amd64 build of widelands 1:19-ppa0-bzr8503-201711262346~ubuntu17.10.1 in ubuntu artful RELEASE [~widelands-dev/ubuntu/widelands-daily]
  From: Launchpad Buildd System, 2017-11-27
• [Build #13780571] amd64 build of widelands 1:19-ppa0-bzr8503-201711262347~ubuntu14.04.1 in ubuntu trusty RELEASE [~widelands-dev/ubuntu/widelands-daily]
  From: Launchpad Buildd System, 2017-11-27
• [Build #13780573] amd64 build of widelands 1:19-ppa0-bzr8503-201711262346~ubuntu17.04.1 in ubuntu zesty RELEASE [~widelands-dev/ubuntu/widelands-daily]
  From: Launchpad Buildd System, 2017-11-27
• [Build #13780574] i386 build of widelands 1:19-ppa0-bzr8503-201711262346~ubuntu17.04.1 in ubuntu zesty RELEASE [~widelands-dev/ubuntu/widelands-daily]
  From: Launchpad Buildd System, 2017-11-27
• [Build #13780572] i386 build of widelands 1:19-ppa0-bzr8503-201711262347~ubuntu14.04.1 in ubuntu trusty RELEASE [~widelands-dev/ubuntu/widelands-daily]
  From: Launchpad Buildd System, 2017-11-27
• [Build #13780584] amd64 build of widelands 1:19-ppa0-bzr8503-201711262346~ubuntu16.04.1 in ubuntu xenial RELEASE [~widelands-dev/ubuntu/widelands-daily]
  From: Launchpad Buildd System, 2017-11-27
• [Merge] lp:~widelands-dev/widelands/fix_asan_crash_nethost into lp:widelands
  From: SirVer, 2017-11-26
• Re: [Merge] lp:~widelands-dev/widelands/fix_asan_crash_nethost into lp:widelands
  From: GunChleoc, 2017-11-27
• [Merge] lp:~widelands-dev/widelands/fix_asan_crash_nethost into lp:widelands
  From: bunnybot, 2017-11-27
• [Merge] lp:~widelands-dev/widelands/fix_asan_crash_nethost into lp:widelands
  From: noreply, 2017-11-27
• [Merge] lp:~widelands-dev/widelands/enemysites_check_delay_used_before_initialized into lp:widelands
  From: Jukka Pakarinen, 2017-11-26
• Re: [Merge] lp:~widelands-dev/widelands/enemysites_check_delay_used_before_initialized into lp:widelands
  From: TiborB, 2017-11-26
• Re: [Merge] lp:~widelands-dev/widelands/enemysites_check_delay_used_before_initialized into lp:widelands
  From: Jukka Pakarinen, 2017-11-26
• Re: [Merge] lp:~widelands-dev/widelands/enemysites_check_delay_used_before_initialized into lp:widelands
  From: GunChleoc, 2017-11-26
• [Merge] lp:~widelands-dev/widelands/enemysites_check_delay_used_before_initialized into lp:widelands
  From: bunnybot, 2017-11-27
• [Merge] lp:~widelands-dev/widelands/enemysites_check_delay_used_before_initialized into lp:widelands
  From: noreply, 2017-11-27
• [Build #13777824] amd64 build of widelands 1:19-ppa0-bzr8501-201711260309~ubuntu17.04.1 in ubuntu zesty RELEASE [~widelands-dev/ubuntu/widelands-daily]
  From: Launchpad Buildd System, 2017-11-26
• [Build #13777822] amd64 build of widelands 1:19-ppa0-bzr8501-201711260309~ubuntu17.10.1 in ubuntu artful RELEASE [~widelands-dev/ubuntu/widelands-daily]
  From: Launchpad Buildd System, 2017-11-26
• [Build #13777820] i386 build of widelands 1:19-ppa0-bzr8501-201711260309~ubuntu14.04.1 in ubuntu trusty RELEASE [~widelands-dev/ubuntu/widelands-daily]
  From: Launchpad Buildd System, 2017-11-26
• [Build #13777823] i386 build of widelands 1:19-ppa0-bzr8501-201711260309~ubuntu17.10.1 in ubuntu artful RELEASE [~widelands-dev/ubuntu/widelands-daily]
  From: Launchpad Buildd System, 2017-11-26
• [Build #13777828] amd64 build of widelands 1:19-ppa0-bzr8501-201711260309~ubuntu16.04.1 in ubuntu xenial RELEASE [~widelands-dev/ubuntu/widelands-daily]
  From: Launchpad Buildd System, 2017-11-26
• [Build #13777829] i386 build of widelands 1:19-ppa0-bzr8501-201711260309~ubuntu16.04.1 in ubuntu xenial RELEASE [~widelands-dev/ubuntu/widelands-daily]
  From: Launchpad Buildd System, 2017-11-26
• [Build #13777819] amd64 build of widelands 1:19-ppa0-bzr8501-201711260309~ubuntu14.04.1 in ubuntu trusty RELEASE [~widelands-dev/ubuntu/widelands-daily]
  From: Launchpad Buildd System, 2017-11-26
• [Build #13777825] i386 build of widelands 1:19-ppa0-bzr8501-201711260309~ubuntu17.04.1 in ubuntu zesty RELEASE [~widelands-dev/ubuntu/widelands-daily]
  From: Launchpad Buildd System, 2017-11-26
• [Merge] lp:~widelands-dev/widelands/clang5-warnings-destructors into lp:widelands
  From: GunChleoc, 2017-11-26
• [Merge] lp:~widelands-dev/widelands/clang5-warnings-destructors into lp:widelands
  From: GunChleoc, 2017-11-26
• <Possible follow-ups>
• [Merge] lp:~widelands-dev/widelands/clang5-warnings-destructors into lp:widelands
  From: GunChleoc, 2017-11-26
• [Merge] lp:~widelands-dev/widelands/clang5-warnings-destructors into lp:widelands
  From: bunnybot, 2017-11-27
• [Merge] lp:~widelands-dev/widelands/clang5-warnings-destructors into lp:widelands
  From: bunnybot, 2017-11-28
• [Merge] lp:~widelands-dev/widelands/clang5-warnings-destructors into lp:widelands
  From: bunnybot, 2017-11-29
• Re: [Merge] lp:~widelands-dev/widelands/clang5-warnings-destructors into lp:widelands
  From: Klaus Halfmann, 2017-11-29
• Re: [Merge] lp:~widelands-dev/widelands/clang5-warnings-destructors into lp:widelands
  From: GunChleoc, 2017-11-30
• [Merge] lp:~widelands-dev/widelands/clang5-warnings-destructors into lp:widelands
  From: GunChleoc, 2017-11-30
• [Merge] lp:~widelands-dev/widelands/clang5-warnings-destructors into lp:widelands
  From: GunChleoc, 2017-11-30
• [Merge] lp:~widelands-dev/widelands/clang5-warnings-destructors into lp:widelands
  From: bunnybot, 2017-11-30
• Re: [Merge] lp:~widelands-dev/widelands/clang5-warnings-destructors into lp:widelands
  From: Klaus Halfmann, 2017-11-30
• Re: [Merge] lp:~widelands-dev/widelands/clang5-warnings-destructors into lp:widelands
  From: GunChleoc, 2017-12-01
• Re: [Merge] lp:~widelands-dev/widelands/clang5-warnings-destructors into lp:widelands
  From: Klaus Halfmann, 2017-12-01
• Re: [Merge] lp:~widelands-dev/widelands/clang5-warnings-destructors into lp:widelands
  From: SirVer, 2017-12-01
• Re: [Merge] lp:~widelands-dev/widelands/clang5-warnings-destructors into lp:widelands
  From: Klaus Halfmann, 2017-12-01
• Re: [Merge] lp:~widelands-dev/widelands/clang5-warnings-destructors into lp:widelands
  From: GunChleoc, 2017-12-02
• [Merge] lp:~widelands-dev/widelands/clang5-warnings-destructors into lp:widelands
  From: bunnybot, 2017-12-02
• Re: [Merge] lp:~widelands-dev/widelands/clang5-warnings-destructors into lp:widelands
  From: Klaus Halfmann, 2017-12-02
• Re: [Merge] lp:~widelands-dev/widelands/clang5-warnings-destructors into lp:widelands
  From: Klaus Halfmann, 2017-12-02
• Re: [Merge] lp:~widelands-dev/widelands/clang5-warnings-destructors into lp:widelands
  From: GunChleoc, 2017-12-02
• [Merge] lp:~widelands-dev/widelands/clang5-warnings-destructors into lp:widelands
  From: bunnybot, 2017-12-02
• [Merge] lp:~widelands-dev/widelands/clang5-warnings-destructors into lp:widelands
  From: bunnybot, 2017-12-02
• Re: [Merge] lp:~widelands-dev/widelands/clang5-warnings-destructors into lp:widelands
  From: GunChleoc, 2017-12-03
• [Merge] lp:~widelands-dev/widelands/clang5-warnings-destructors into lp:widelands
  From: noreply, 2017-12-03
• [Merge] lp:~widelands-dev/widelands/scenario_types_used_before_initialized into lp:widelands
  From: Jukka Pakarinen, 2017-11-26
• Re: [Merge] lp:~widelands-dev/widelands/scenario_types_used_before_initialized into lp:widelands
  From: GunChleoc, 2017-11-26
• Re: [Merge] lp:~widelands-dev/widelands/scenario_types_used_before_initialized into lp:widelands
  From: Jukka Pakarinen, 2017-11-26
• Re: [Merge] lp:~widelands-dev/widelands/scenario_types_used_before_initialized into lp:widelands
  From: GunChleoc, 2017-11-26
• [Merge] lp:~widelands-dev/widelands/scenario_types_used_before_initialized into lp:widelands
  From: bunnybot, 2017-11-27
• [Merge] lp:~widelands-dev/widelands/scenario_types_used_before_initialized into lp:widelands
  From: noreply, 2017-11-27
• [Merge] lp:~widelands-dev/widelands/fix_wrong_integer into lp:widelands
  From: SirVer, 2017-11-26
• Re: [Merge] lp:~widelands-dev/widelands/fix_wrong_integer into lp:widelands
  From: GunChleoc, 2017-11-26
• [Merge] lp:~widelands-dev/widelands/fix_wrong_integer into lp:widelands
  From: bunnybot, 2017-11-27
• [Merge] lp:~widelands-dev/widelands/fix_wrong_integer into lp:widelands
  From: noreply, 2017-11-27
• [Merge] lp:~hjd/widelands/travis-clang-5.0 into lp:widelands
  From: Hans Joachim Desserud, 2017-11-26
• [Merge] lp:~hjd/widelands/osx-update into lp:widelands
  From: Hans Joachim Desserud, 2017-11-26
• [Merge] lp:~hjd/widelands/osx-update into lp:widelands
  From: bunnybot, 2017-11-27
• Re: [Merge] lp:~hjd/widelands/osx-update into lp:widelands
  From: Hans Joachim Desserud, 2017-11-27
• Re: [Merge] lp:~hjd/widelands/osx-update into lp:widelands
  From: SirVer, 2017-11-27
• [Merge] lp:~hjd/widelands/osx-update into lp:widelands
  From: bunnybot, 2017-11-28
• Re: [Merge] lp:~hjd/widelands/osx-update into lp:widelands
  From: Hans Joachim Desserud, 2017-11-28
• Re: [Merge] lp:~hjd/widelands/osx-update into lp:widelands
  From: SirVer, 2017-11-28
• [Merge] lp:~hjd/widelands/osx-update into lp:widelands
  From: noreply, 2017-11-28
• [Merge] lp:~widelands-dev/widelands/Mission4 into lp:widelands
  From: hessenfarmer, 2017-11-25
• [Merge] lp:~widelands-dev/widelands/Mission4 into lp:widelands
  From: bunnybot, 2017-11-26
• Re: [Merge] lp:~widelands-dev/widelands/Mission4 into lp:widelands
  From: SirVer, 2017-11-26
• Re: [Merge] lp:~widelands-dev/widelands/Mission4 into lp:widelands
  From: GunChleoc, 2017-11-27
• Re: [Merge] lp:~widelands-dev/widelands/Mission4 into lp:widelands
  From: hessenfarmer, 2017-11-27
• Re: [Merge] lp:~widelands-dev/widelands/Mission4 into lp:widelands
  From: hessenfarmer, 2017-11-27
• Re: [Merge] lp:~widelands-dev/widelands/Mission4 into lp:widelands
  From: GunChleoc, 2017-12-02
• [Merge] lp:~widelands-dev/widelands/Mission4 into lp:widelands
  From: bunnybot, 2017-12-04
• Re: [Merge] lp:~widelands-dev/widelands/Mission4 into lp:widelands
  From: hessenfarmer, 2017-12-07
• Re: [Merge] lp:~widelands-dev/widelands/Mission4 into lp:widelands
  From: kaputtnik, 2017-12-07
• Re: [Merge] lp:~widelands-dev/widelands/Mission4 into lp:widelands
  From: kaputtnik, 2017-12-08
• Re: [Merge] lp:~widelands-dev/widelands/Mission4 into lp:widelands
  From: kaputtnik, 2017-12-11
• Re: [Merge] lp:~widelands-dev/widelands/Mission4 into lp:widelands
  From: GunChleoc, 2017-12-12
• Re: [Merge] lp:~widelands-dev/widelands/Mission4 into lp:widelands
  From: hessenfarmer, 2017-12-12

 •  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