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-1769426-libreadline into lp:widelands, (continued)
  • Re: [Merge] lp:~widelands-dev/widelands/bug-1769426-libreadline into lp:widelands
    From: GunChleoc, 2018-11-15
  • [Merge] lp:~widelands-dev/widelands/bug-1769426-libreadline into lp:widelands
    From: GunChleoc, 2018-11-15
• [Merge] lp:~widelands-dev/widelands/number_of_cpus into lp:widelands
  From: Toni Förster, 2018-11-05
• Re: [Merge] lp:~widelands-dev/widelands/number_of_cpus into lp:widelands
  From: GunChleoc, 2018-11-06
• [Merge] lp:~widelands-dev/widelands/number_of_cpus into lp:widelands
  From: noreply, 2018-11-08
• [Merge] lp:~widelands-dev/widelands/empire04_unused_key_return_on_dismantle_no_ui into lp:widelands
  From: GunChleoc, 2018-11-05
• Re: [Merge] lp:~widelands-dev/widelands/empire04_unused_key_return_on_dismantle_no_ui into lp:widelands
  From: hessenfarmer, 2018-11-05
• Re: [Merge] lp:~widelands-dev/widelands/empire04_unused_key_return_on_dismantle_no_ui into lp:widelands
  From: GunChleoc, 2018-11-06
• Re: [Merge] lp:~widelands-dev/widelands/empire04_unused_key_return_on_dismantle_no_ui into lp:widelands
  From: hessenfarmer, 2018-11-06
• [Merge] lp:~widelands-dev/widelands/empire04_unused_key_return_on_dismantle_no_ui into lp:widelands
  From: bunnybot, 2018-11-10
• Re: [Merge] lp:~widelands-dev/widelands/empire04_unused_key_return_on_dismantle_no_ui into lp:widelands
  From: GunChleoc, 2018-11-17
• Re: [Merge] lp:~widelands-dev/widelands/empire04_unused_key_return_on_dismantle_no_ui into lp:widelands
  From: hessenfarmer, 2018-11-19
• Re: [Merge] lp:~widelands-dev/widelands/empire04_unused_key_return_on_dismantle_no_ui into lp:widelands
  From: hessenfarmer, 2018-11-19
• [Merge] lp:~widelands-dev/widelands/empire04_unused_key_return_on_dismantle_no_ui into lp:widelands
  From: noreply, 2018-11-19
• Re: [Merge] lp:~widelands-dev/widelands/empire04_unused_key_return_on_dismantle_no_ui into lp:widelands
  From: Arty, 2018-11-19
• Re: [Merge] lp:~widelands-dev/widelands/empire04_unused_key_return_on_dismantle_no_ui into lp:widelands
  From: GunChleoc, 2018-11-21
• [Merge] lp:~widelands-dev/widelands/terrain_affinity_as_int into lp:widelands
  From: GunChleoc, 2018-11-05
• [Merge] lp:~widelands-dev/widelands/terrain_affinity_as_int into lp:widelands
  From: bunnybot, 2018-11-10
• [Merge] lp:~widelands-dev/widelands/terrain_affinity_as_int into lp:widelands
  From: bunnybot, 2018-11-12
• [Merge] lp:~widelands-dev/widelands/terrain_affinity_as_int into lp:widelands
  From: bunnybot, 2018-11-17
• Re: [Merge] lp:~widelands-dev/widelands/terrain_affinity_as_int into lp:widelands
  From: Arty, 2018-11-20
• Re: [Merge] lp:~widelands-dev/widelands/terrain_affinity_as_int into lp:widelands
  From: GunChleoc, 2018-11-22
• Re: [Merge] lp:~widelands-dev/widelands/terrain_affinity_as_int into lp:widelands
  From: Arty, 2018-11-22
• Re: [Merge] lp:~widelands-dev/widelands/terrain_affinity_as_int into lp:widelands
  From: GunChleoc, 2018-11-23
• Re: [Merge] lp:~widelands-dev/widelands/terrain_affinity_as_int into lp:widelands
  From: Arty, 2018-11-23
• [Merge] lp:~widelands-dev/widelands/terrain_affinity_as_int into lp:widelands
  From: noreply, 2018-11-23
• [Merge] lp:~widelands-dev/widelands/bug-1800182-focus-save-menu into lp:widelands
  From: Notabilis, 2018-11-04
• Re: [Merge] lp:~widelands-dev/widelands/bug-1800182-focus-save-menu into lp:widelands
  From: GunChleoc, 2018-11-04
• Re: [Merge] lp:~widelands-dev/widelands/bug-1800182-focus-save-menu into lp:widelands
  From: Arty, 2018-11-05
• Re: [Merge] lp:~widelands-dev/widelands/bug-1800182-focus-save-menu into lp:widelands
  From: Arty, 2018-11-05
• Re: [Merge] lp:~widelands-dev/widelands/bug-1800182-focus-save-menu into lp:widelands
  From: GunChleoc, 2018-11-06
• Re: [Merge] lp:~widelands-dev/widelands/bug-1800182-focus-save-menu into lp:widelands
  From: Arty, 2018-11-07
• [Merge] lp:~widelands-dev/widelands/bug-1800182-focus-save-menu into lp:widelands
  From: noreply, 2018-11-08
• [Merge] lp:~widelands-dev/widelands/empire04_unused_key_return_on_dismantle into lp:widelands
  From: GunChleoc, 2018-11-03
• Re: [Merge] lp:~widelands-dev/widelands/empire04_unused_key_return_on_dismantle into lp:widelands
  From: Notabilis, 2018-11-04
• Re: [Merge] lp:~widelands-dev/widelands/empire04_unused_key_return_on_dismantle into lp:widelands
  From: hessenfarmer, 2018-11-04
• Re: [Merge] lp:~widelands-dev/widelands/empire04_unused_key_return_on_dismantle into lp:widelands
  From: GunChleoc, 2018-11-05
• [Merge] lp:~widelands-dev/widelands/empire04_unused_key_return_on_dismantle into lp:widelands
  From: bunnybot, 2018-11-10
• Re: [Merge] lp:~widelands-dev/widelands/empire04_unused_key_return_on_dismantle into lp:widelands
  From: hessenfarmer, 2018-11-15
• [Merge] lp:~widelands-dev/widelands/empire04_unused_key_return_on_dismantle into lp:widelands
  From: bunnybot, 2018-11-19
• Re: [Merge] lp:~widelands-dev/widelands/empire04_unused_key_return_on_dismantle into lp:widelands
  From: hessenfarmer, 2018-11-19
• Re: [Merge] lp:~widelands-dev/widelands/empire04_unused_key_return_on_dismantle into lp:widelands
  From: GunChleoc, 2018-11-20
• Re: [Merge] lp:~widelands-dev/widelands/empire04_unused_key_return_on_dismantle into lp:widelands
  From: hessenfarmer, 2018-11-20
• Re: [Merge] lp:~widelands-dev/widelands/empire04_unused_key_return_on_dismantle into lp:widelands
  From: Arty, 2018-11-20
• Re: [Merge] lp:~widelands-dev/widelands/empire04_unused_key_return_on_dismantle into lp:widelands
  From: GunChleoc, 2018-11-21
• [Merge] lp:~widelands-dev/widelands/empire04_unused_key_return_on_dismantle into lp:widelands
  From: GunChleoc, 2018-11-21
• Re: [Merge] lp:~widelands-dev/widelands/empire04_unused_key_return_on_dismantle into lp:widelands
  From: hessenfarmer, 2018-11-21
• Re: [Merge] lp:~widelands-dev/widelands/empire04_unused_key_return_on_dismantle into lp:widelands
  From: Arty, 2018-11-22
• Re: [Merge] lp:~widelands-dev/widelands/empire04_unused_key_return_on_dismantle into lp:widelands
  From: hessenfarmer, 2018-11-22
• Re: [Merge] lp:~widelands-dev/widelands/empire04_unused_key_return_on_dismantle into lp:widelands
  From: hessenfarmer, 2018-11-22
• Re: [Merge] lp:~widelands-dev/widelands/empire04_unused_key_return_on_dismantle into lp:widelands
  From: hessenfarmer, 2018-11-22
• Re: [Merge] lp:~widelands-dev/widelands/empire04_unused_key_return_on_dismantle into lp:widelands
  From: GunChleoc, 2018-11-23
• Re: [Merge] lp:~widelands-dev/widelands/empire04_unused_key_return_on_dismantle into lp:widelands
  From: hessenfarmer, 2018-11-23
• Re: [Merge] lp:~widelands-dev/widelands/empire04_unused_key_return_on_dismantle into lp:widelands
  From: GunChleoc, 2018-11-23
• Re: [Merge] lp:~widelands-dev/widelands/empire04_unused_key_return_on_dismantle into lp:widelands
  From: hessenfarmer, 2018-11-23
• [Merge] lp:~widelands-dev/widelands/empire04_unused_key_return_on_dismantle into lp:widelands
  From: noreply, 2018-11-23
• [Merge] lp:~hjd/widelands/clang-7 into lp:widelands
  From: Hans Joachim Desserud, 2018-11-03
• [Merge] lp:~widelands-dev/widelands/robust-saving into lp:widelands
  From: Arty, 2018-11-02
• Re: [Merge] lp:~widelands-dev/widelands/robust-saving into lp:widelands
  From: Arty, 2018-11-02
• [Merge] lp:~widelands-dev/widelands/filesystem-errors into lp:widelands
  From: Arty, 2018-11-02
• [Merge] lp:~widelands-dev/widelands/filesystem-errors into lp:widelands
  From: bunnybot, 2018-11-02
• [Merge] lp:~widelands-dev/widelands/filesystem-errors into lp:widelands
  From: bunnybot, 2018-11-10
• [Merge] lp:~widelands-dev/widelands/filesystem-errors into lp:widelands
  From: GunChleoc, 2018-11-12
• Re: [Merge] lp:~widelands-dev/widelands/filesystem-errors into lp:widelands
  From: GunChleoc, 2018-11-12
• Re: [Merge] lp:~widelands-dev/widelands/filesystem-errors into lp:widelands
  From: Arty, 2018-11-12
• Re: [Merge] lp:~widelands-dev/widelands/filesystem-errors into lp:widelands
  From: GunChleoc, 2018-11-12
• Re: [Merge] lp:~widelands-dev/widelands/filesystem-errors into lp:widelands
  From: Arty, 2018-11-12
• Re: [Merge] lp:~widelands-dev/widelands/filesystem-errors into lp:widelands
  From: kaputtnik, 2018-11-12
• Re: [Merge] lp:~widelands-dev/widelands/filesystem-errors into lp:widelands
  From: Arty, 2018-11-12
• Re: [Merge] lp:~widelands-dev/widelands/filesystem-errors into lp:widelands
  From: GunChleoc, 2018-11-13
• Re: [Merge] lp:~widelands-dev/widelands/filesystem-errors into lp:widelands
  From: GunChleoc, 2018-11-14
• [Merge] lp:~widelands-dev/widelands/filesystem-errors into lp:widelands
  From: noreply, 2018-11-14
• [Merge] lp:~widelands-dev/widelands/bug-1800571-flag-add-ware into lp:widelands
  From: Notabilis, 2018-10-30
• Re: [Merge] lp:~widelands-dev/widelands/bug-1800571-flag-add-ware into lp:widelands
  From: Notabilis, 2018-10-30
• [Merge] lp:~widelands-dev/widelands/bug-1800571-flag-add-ware into lp:widelands
  From: bunnybot, 2018-10-31
• Re: [Merge] lp:~widelands-dev/widelands/bug-1800571-flag-add-ware into lp:widelands
  From: GunChleoc, 2018-10-31
• [Merge] lp:~widelands-dev/widelands/bug-1800571-flag-add-ware into lp:widelands
  From: GunChleoc, 2018-11-01
• Re: [Merge] lp:~widelands-dev/widelands/bug-1800571-flag-add-ware into lp:widelands
  From: GunChleoc, 2018-11-01
• [Merge] lp:~widelands-dev/widelands/use_more_processors into lp:widelands
  From: kaputtnik, 2018-10-30
• [Merge] lp:~widelands-dev/widelands/use_more_processors into lp:widelands
  From: bunnybot, 2018-10-30
• Re: [Merge] lp:~widelands-dev/widelands/use_more_processors into lp:widelands
  From: GunChleoc, 2018-11-01
• [Merge] lp:~widelands-dev/widelands/use_more_processors into lp:widelands
  From: noreply, 2018-11-01
• [Merge] lp:~widelands-dev/widelands/fix_immovabledescr_unpersist into lp:widelands
  From: GunChleoc, 2018-10-29
• [Merge] lp:~widelands-dev/widelands/fix_immovabledescr_unpersist into lp:widelands
  From: bunnybot, 2018-10-29
• Re: [Merge] lp:~widelands-dev/widelands/fix_immovabledescr_unpersist into lp:widelands
  From: Notabilis, 2018-11-04
• Re: [Merge] lp:~widelands-dev/widelands/fix_immovabledescr_unpersist into lp:widelands
  From: GunChleoc, 2018-11-04
• [Merge] lp:~widelands-dev/widelands/fix_immovabledescr_unpersist into lp:widelands
  From: noreply, 2018-11-09
• [Merge] lp:~widelands-dev/widelands/bug-1797213-idle-wares-at-flags-carrier into lp:widelands
  From: Notabilis, 2018-10-28
• [Merge] lp:~widelands-dev/widelands/bug-1797213-idle-wares-at-flags-carrier into lp:widelands
  From: bunnybot, 2018-10-28
• Re: [Merge] lp:~widelands-dev/widelands/bug-1797213-idle-wares-at-flags-carrier into lp:widelands
  From: GunChleoc, 2018-10-29
• [Merge] lp:~widelands-dev/widelands/bug-1797213-idle-wares-at-flags-carrier into lp:widelands
  From: noreply, 2018-10-29
• [Merge] lp:~widelands-dev/widelands/json_writer into lp:widelands
  From: GunChleoc, 2018-10-27
• [Merge] lp:~widelands-dev/widelands/json_writer into lp:widelands
  From: bunnybot, 2018-10-27
• [Merge] lp:~widelands-dev/widelands/json_writer into lp:widelands
  From: bunnybot, 2018-10-30
• Re: [Merge] lp:~widelands-dev/widelands/json_writer into lp:widelands
  From: kaputtnik, 2018-10-31
• [Merge] lp:~widelands-dev/widelands/json_writer into lp:widelands
  From: bunnybot, 2019-01-12
• [Merge] lp:~widelands-dev/widelands/json_writer into lp:widelands
  From: bunnybot, 2019-01-13
• Re: [Merge] lp:~widelands-dev/widelands/json_writer into lp:widelands
  From: Klaus Halfmann, 2019-01-13
• Re: [Merge] lp:~widelands-dev/widelands/json_writer into lp:widelands
  From: GunChleoc, 2019-02-09
• Re: [Merge] lp:~widelands-dev/widelands/json_writer into lp:widelands
  From: Klaus Halfmann, 2019-02-09
• Re: [Merge] lp:~widelands-dev/widelands/json_writer into lp:widelands
  From: kaputtnik, 2019-02-09
• Re: [Merge] lp:~widelands-dev/widelands/json_writer into lp:widelands
  From: GunChleoc, 2019-02-09
• [Merge] lp:~widelands-dev/widelands/json_writer into lp:widelands
  From: noreply, 2019-02-09
• Re: [Merge] lp:~widelands-dev/widelands/bug-1795871-lua-set_workers into lp:widelands
  From: Notabilis, 2018-10-23
• [Merge] lp:~widelands-dev/widelands/bug-1795871-lua-set_workers into lp:widelands
  From: Notabilis, 2018-10-23
• [Merge] lp:~widelands-dev/widelands/bug-1795871-lua-set_workers into lp:widelands
  From: bunnybot, 2018-10-24
• Re: [Merge] lp:~widelands-dev/widelands/bug-1795871-lua-set_workers into lp:widelands
  From: GunChleoc, 2018-10-24
• Re: [Merge] lp:~widelands-dev/widelands/bug-1795871-lua-set_workers into lp:widelands
  From: hessenfarmer, 2018-10-25
• Re: [Merge] lp:~widelands-dev/widelands/bug-1795871-lua-set_workers into lp:widelands
  From: Notabilis, 2018-10-25
• Re: [Merge] lp:~widelands-dev/widelands/bug-1795871-lua-set_workers into lp:widelands
  From: GunChleoc, 2018-10-26
• [Merge] lp:~widelands-dev/widelands/bug-1795871-lua-set_workers into lp:widelands
  From: bunnybot, 2018-10-26
• Re: [Merge] lp:~widelands-dev/widelands/bug-1795871-lua-set_workers into lp:widelands
  From: Notabilis, 2018-10-26
• Re: [Merge] lp:~widelands-dev/widelands/bug-1795871-lua-set_workers into lp:widelands
  From: GunChleoc, 2018-10-27
• [Merge] lp:~widelands-dev/widelands/bug-1795871-lua-set_workers into lp:widelands
  From: GunChleoc, 2018-10-27
• Re: [Merge] lp:~widelands-dev/widelands/bug-1795871-lua-set_workers into lp:widelands
  From: Notabilis, 2018-10-27
• Re: [Merge] lp:~widelands-dev/widelands/bug-1795871-lua-set_workers into lp:widelands
  From: GunChleoc, 2018-10-27
• [Merge] lp:~widelands-dev/widelands/bug-1795871-lua-set_workers into lp:widelands
  From: bunnybot, 2018-10-27
• Re: [Merge] lp:~widelands-dev/widelands/bug-1795871-lua-set_workers into lp:widelands
  From: Notabilis, 2018-10-28
• [Merge] lp:~widelands-dev/widelands/bug-1795871-lua-set_workers into lp:widelands
  From: noreply, 2018-10-28
• [Merge] lp:~widelands-dev/widelands/bug-1753230-working-with-tempfiles into lp:widelands
  From: Arty, 2018-10-22
• [Merge] lp:~widelands-dev/widelands/bug-1753230-working-with-tempfiles into lp:widelands
  From: GunChleoc, 2018-10-23
• Re: [Merge] lp:~widelands-dev/widelands/bug-1753230-working-with-tempfiles into lp:widelands
  From: GunChleoc, 2018-10-23
• [Merge] lp:~widelands-dev/widelands/bug-1753230-working-with-tempfiles into lp:widelands
  From: bunnybot, 2018-10-23
• Re: [Merge] lp:~widelands-dev/widelands/bug-1753230-working-with-tempfiles into lp:widelands
  From: GunChleoc, 2018-10-27
• [Merge] lp:~widelands-dev/widelands/bug-1753230-working-with-tempfiles into lp:widelands
  From: bunnybot, 2018-11-02
• Re: [Merge] lp:~widelands-dev/widelands/bug-1753230-working-with-tempfiles into lp:widelands
  From: Arty, 2018-11-02
• Re: [Merge] lp:~widelands-dev/widelands/bug-1753230-working-with-tempfiles into lp:widelands
  From: Arty, 2018-11-02
• Re: [Merge] lp:~widelands-dev/widelands/bug-1753230-working-with-tempfiles into lp:widelands
  From: GunChleoc, 2018-11-04
• Re: [Merge] lp:~widelands-dev/widelands/bug-1753230-working-with-tempfiles into lp:widelands
  From: GunChleoc, 2018-11-05
• Re: [Merge] lp:~widelands-dev/widelands/bug-1753230-working-with-tempfiles into lp:widelands
  From: Arty, 2018-11-05
• Re: [Merge] lp:~widelands-dev/widelands/bug-1753230-working-with-tempfiles into lp:widelands
  From: GunChleoc, 2018-11-06
• [Merge] lp:~widelands-dev/widelands/bug-1753230-working-with-tempfiles into lp:widelands
  From: bunnybot, 2018-11-09
• Re: [Merge] lp:~widelands-dev/widelands/bug-1753230-working-with-tempfiles into lp:widelands
  From: GunChleoc, 2018-11-09
• Re: [Merge] lp:~widelands-dev/widelands/bug-1753230-working-with-tempfiles into lp:widelands
  From: Arty, 2018-11-09
• Re: [Merge] lp:~widelands-dev/widelands/bug-1753230-working-with-tempfiles into lp:widelands
  From: Arty, 2018-11-09
• Re: [Merge] lp:~widelands-dev/widelands/bug-1753230-working-with-tempfiles into lp:widelands
  From: Arty, 2018-11-09
• Re: [Merge] lp:~widelands-dev/widelands/bug-1753230-working-with-tempfiles into lp:widelands
  From: GunChleoc, 2018-11-10
• [Merge] lp:~widelands-dev/widelands/bug-1753230-working-with-tempfiles into lp:widelands
  From: bunnybot, 2018-11-10
• [Merge] lp:~widelands-dev/widelands/bug-1753230-working-with-tempfiles into lp:widelands
  From: bunnybot, 2018-11-10
• Re: [Merge] lp:~widelands-dev/widelands/bug-1753230-working-with-tempfiles into lp:widelands
  From: GunChleoc, 2018-11-11
• [Merge] lp:~widelands-dev/widelands/bug-1753230-working-with-tempfiles into lp:widelands
  From: noreply, 2018-11-11
• [Merge] lp:~widelands-dev/widelands/bug-1798812-replay-savegame-type into lp:widelands
  From: GunChleoc, 2018-10-21
• [Merge] lp:~widelands-dev/widelands/bug-1798812-replay-savegame-type into lp:widelands
  From: bunnybot, 2018-10-21
• Re: [Merge] lp:~widelands-dev/widelands/bug-1798812-replay-savegame-type into lp:widelands
  From: Notabilis, 2018-10-23
• Re: [Merge] lp:~widelands-dev/widelands/bug-1798812-replay-savegame-type into lp:widelands
  From: GunChleoc, 2018-10-24
• Re: [Merge] lp:~widelands-dev/widelands/bug-1798812-replay-savegame-type into lp:widelands
  From: GunChleoc, 2018-10-25
• [Merge] lp:~widelands-dev/widelands/bug-1798812-replay-savegame-type into lp:widelands
  From: bunnybot, 2018-10-25
• Re: [Merge] lp:~widelands-dev/widelands/bug-1798812-replay-savegame-type into lp:widelands
  From: Notabilis, 2018-10-25
• Re: [Merge] lp:~widelands-dev/widelands/bug-1798812-replay-savegame-type into lp:widelands
  From: GunChleoc, 2018-10-26
• [Merge] lp:~widelands-dev/widelands/bug-1798812-replay-savegame-type into lp:widelands
  From: noreply, 2018-10-26
• [Merge] lp:~widelands-dev/widelands/bug-net-error-game-connect into lp:widelands
  From: Notabilis, 2018-10-20
• [Merge] lp:~widelands-dev/widelands/bug-net-error-game-connect into lp:widelands
  From: bunnybot, 2018-10-20
• Re: [Merge] lp:~widelands-dev/widelands/bug-net-error-game-connect into lp:widelands
  From: GunChleoc, 2018-10-21
• Re: [Merge] lp:~widelands-dev/widelands/bug-net-error-game-connect into lp:widelands
  From: Klaus Halfmann, 2018-10-21
• Re: [Merge] lp:~widelands-dev/widelands/bug-net-error-game-connect into lp:widelands
  From: GunChleoc, 2018-10-22
• Re: [Merge] lp:~widelands-dev/widelands/bug-net-error-game-connect into lp:widelands
  From: Notabilis, 2018-10-22
• [Merge] lp:~widelands-dev/widelands/bug-net-error-game-connect into lp:widelands
  From: noreply, 2018-10-22
• [Build #15553098] i386 build of widelands 1:19-ppa0-bzr8892-201810171817~ubuntu18.10.1 in ubuntu cosmic RELEASE [~widelands-dev/ubuntu/widelands-daily]
  From: Launchpad Buildd System, 2018-10-17
• [Build #15553097] amd64 build of widelands 1:19-ppa0-bzr8892-201810171817~ubuntu18.10.1 in ubuntu cosmic RELEASE [~widelands-dev/ubuntu/widelands-daily]
  From: Launchpad Buildd System, 2018-10-17
• [Build #15549895] i386 build of widelands 1:19-ppa0-bzr8890-201810161817~ubuntu18.10.1 in ubuntu cosmic RELEASE [~widelands-dev/ubuntu/widelands-daily]
  From: Launchpad Buildd System, 2018-10-16
• [Build #15549894] amd64 build of widelands 1:19-ppa0-bzr8890-201810161817~ubuntu18.10.1 in ubuntu cosmic RELEASE [~widelands-dev/ubuntu/widelands-daily]
  From: Launchpad Buildd System, 2018-10-16
• [Merge] lp:~widelands-dev/widelands/bug-1798024-heap-use-after-free into lp:widelands
  From: GunChleoc, 2018-10-16
• [Merge] lp:~widelands-dev/widelands/bug-1798024-heap-use-after-free into lp:widelands
  From: bunnybot, 2018-10-16
• Re: [Merge] lp:~widelands-dev/widelands/bug-1798024-heap-use-after-free into lp:widelands
  From: Notabilis, 2018-10-23
• Re: [Merge] lp:~widelands-dev/widelands/bug-1798024-heap-use-after-free into lp:widelands
  From: GunChleoc, 2018-10-24
• [Merge] lp:~widelands-dev/widelands/bug-1798024-heap-use-after-free into lp:widelands
  From: noreply, 2018-10-24
• [Build #15548781] i386 build of widelands 1:19-ppa0-bzr8890-201810161048~ubuntu18.10.1 in ubuntu cosmic RELEASE [~widelands-dev/ubuntu/widelands-daily]
  From: Launchpad Buildd System, 2018-10-16
• [Build #15548780] amd64 build of widelands 1:19-ppa0-bzr8890-201810161048~ubuntu18.10.1 in ubuntu cosmic RELEASE [~widelands-dev/ubuntu/widelands-daily]
  From: Launchpad Buildd System, 2018-10-16
• [Build #15548185] i386 build of widelands 1:19-ppa0-bzr8889-201810160531~ubuntu18.10.1 in ubuntu cosmic RELEASE [~widelands-dev/ubuntu/widelands-daily]
  From: Launchpad Buildd System, 2018-10-16
• [Build #15548184] amd64 build of widelands 1:19-ppa0-bzr8889-201810160531~ubuntu18.10.1 in ubuntu cosmic RELEASE [~widelands-dev/ubuntu/widelands-daily]
  From: Launchpad Buildd System, 2018-10-16
• [Merge] lp:~widelands-dev/widelands/GLVND_18_10 into lp:widelands
  From: Toni Förster, 2018-10-16
• [Merge] lp:~widelands-dev/widelands/GLVND_18_10 into lp:widelands
  From: Toni Förster, 2018-10-16
• [Merge] lp:~widelands-dev/widelands/GLVND_18_10 into lp:widelands
  From: bunnybot, 2018-10-16
• Re: [Merge] lp:~widelands-dev/widelands/GLVND_18_10 into lp:widelands
  From: kaputtnik, 2018-10-16
• Re: [Merge] lp:~widelands-dev/widelands/GLVND_18_10 into lp:widelands
  From: GunChleoc, 2018-10-16
• Re: [Merge] lp:~widelands-dev/widelands/GLVND_18_10 into lp:widelands
  From: kaputtnik, 2018-10-16
• [Merge] lp:~widelands-dev/widelands/GLVND_18_10 into lp:widelands
  From: noreply, 2018-10-16
• [Merge] lp:~widelands-dev/widelands-website/tabbed_profile into lp:widelands-website
  From: kaputtnik, 2018-10-15
• [Merge] lp:~widelands-dev/widelands-website/tabbed_profile into lp:widelands-website
  From: kaputtnik, 2018-10-15
• Re: [Merge] lp:~widelands-dev/widelands-website/tabbed_profile into lp:widelands-website
  From: GunChleoc, 2018-10-22
• Re: [Merge] lp:~widelands-dev/widelands-website/tabbed_profile into lp:widelands-website
  From: kaputtnik, 2018-10-30
• Re: [Merge] lp:~widelands-dev/widelands-website/tabbed_profile into lp:widelands-website
  From: kaputtnik, 2018-10-31
• Re: [Merge] lp:~widelands-dev/widelands-website/tabbed_profile into lp:widelands-website
  From: kaputtnik, 2018-11-07
• Re: [Merge] lp:~widelands-dev/widelands-website/tabbed_profile into lp:widelands-website
  From: kaputtnik, 2018-11-09
• Re: [Merge] lp:~widelands-dev/widelands-website/tabbed_profile into lp:widelands-website
  From: GunChleoc, 2018-11-12
• Re: [Merge] lp:~widelands-dev/widelands-website/tabbed_profile into lp:widelands-website
  From: kaputtnik, 2018-11-12
• [Merge] lp:~widelands-dev/widelands-website/tabbed_profile into lp:widelands-website
  From: noreply, 2018-11-15
• Re: [Merge] lp:~widelands-dev/widelands-website/tabbed_profile into lp:widelands-website
  From: kaputtnik, 2018-11-15
• [Merge] lp:~widelands-dev/widelands/bug-1797792-shading-language-version-comparison into lp:widelands
  From: GunChleoc, 2018-10-15
• [Merge] lp:~widelands-dev/widelands/bug-1797792-shading-language-version-comparison into lp:widelands
  From: bunnybot, 2018-10-15
• Re: [Merge] lp:~widelands-dev/widelands/bug-1797792-shading-language-version-comparison into lp:widelands
  From: Notabilis, 2018-10-15
• Re: [Merge] lp:~widelands-dev/widelands/bug-1797792-shading-language-version-comparison into lp:widelands
  From: GunChleoc, 2018-10-16
• Re: [Merge] lp:~widelands-dev/widelands/bug-1797792-shading-language-version-comparison into lp:widelands
  From: Notabilis, 2018-10-16
• Re: [Merge] lp:~widelands-dev/widelands/bug-1797792-shading-language-version-comparison into lp:widelands
  From: GunChleoc, 2018-10-16
• Re: [Merge] lp:~widelands-dev/widelands/bug-1797792-shading-language-version-comparison into lp:widelands
  From: GunChleoc, 2018-10-16
• Re: [Merge] lp:~widelands-dev/widelands/bug-1797792-shading-language-version-comparison into lp:widelands
  From: Notabilis, 2018-10-16
• Re: [Merge] lp:~widelands-dev/widelands/bug-1797792-shading-language-version-comparison into lp:widelands
  From: GunChleoc, 2018-10-16
• [Merge] lp:~widelands-dev/widelands/bug-1797792-shading-language-version-comparison into lp:widelands
  From: noreply, 2018-10-16
• [Build #15543429] i386 build of widelands 1:19-ppa0-bzr8888-201810150529~ubuntu18.10.1 in ubuntu cosmic RELEASE [~widelands-dev/ubuntu/widelands-daily]
  From: Launchpad Buildd System, 2018-10-15
• [Build #15543428] amd64 build of widelands 1:19-ppa0-bzr8888-201810150529~ubuntu18.10.1 in ubuntu cosmic RELEASE [~widelands-dev/ubuntu/widelands-daily]
  From: Launchpad Buildd System, 2018-10-15

 •  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