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/mines-worldsavior into lp:widelands, (continued)
  • Re: [Merge] lp:~widelands-dev/widelands/mines-worldsavior into lp:widelands
    From: hessenfarmer, 2018-09-10
  • [Merge] lp:~widelands-dev/widelands/mines-worldsavior into lp:widelands
    From: bunnybot, 2018-09-10
  • Re: [Merge] lp:~widelands-dev/widelands/mines-worldsavior into lp:widelands
    From: GunChleoc, 2018-09-11
  • Re: [Merge] lp:~widelands-dev/widelands/mines-worldsavior into lp:widelands
    From: GunChleoc, 2018-09-11
  • [Merge] lp:~widelands-dev/widelands/mines-worldsavior into lp:widelands
    From: bunnybot, 2018-09-12
  • [Merge] lp:~widelands-dev/widelands/mines-worldsavior into lp:widelands
    From: noreply, 2018-09-12
• [Merge] lp:~widelands-dev/widelands/rip_out_old_fontrenderer into lp:widelands
  From: GunChleoc, 2018-07-23
• Re: [Merge] lp:~widelands-dev/widelands/rip_out_old_fontrenderer into lp:widelands
  From: GunChleoc, 2018-07-23
• [Merge] lp:~widelands-dev/widelands/rip_out_old_fontrenderer into lp:widelands
  From: bunnybot, 2018-07-23
• [Merge] lp:~widelands-dev/widelands/rip_out_old_fontrenderer into lp:widelands
  From: bunnybot, 2018-07-24
• Re: [Merge] lp:~widelands-dev/widelands/rip_out_old_fontrenderer into lp:widelands
  From: kaputtnik, 2018-07-26
• Re: [Merge] lp:~widelands-dev/widelands/rip_out_old_fontrenderer into lp:widelands
  From: GunChleoc, 2018-07-28
• [Merge] lp:~widelands-dev/widelands/rip_out_old_fontrenderer into lp:widelands
  From: noreply, 2018-07-28
• [Merge] lp:~widelands-dev/widelands/frisian_music into lp:widelands
  From: Benedikt Straub, 2018-07-22
• [Merge] lp:~widelands-dev/widelands/frisian_music into lp:widelands
  From: bunnybot, 2018-07-22
• Re: [Merge] lp:~widelands-dev/widelands/frisian_music into lp:widelands
  From: Klaus Halfmann, 2018-07-22
• Re: [Merge] lp:~widelands-dev/widelands/frisian_music into lp:widelands
  From: GunChleoc, 2018-07-22
• [Merge] lp:~widelands-dev/widelands/frisian_music into lp:widelands
  From: bunnybot, 2018-09-22
• [Merge] lp:~widelands-dev/widelands/frisian_music into lp:widelands
  From: bunnybot, 2018-09-25
• Re: [Merge] lp:~widelands-dev/widelands/frisian_music into lp:widelands
  From: Benedikt Straub, 2018-10-12
• Re: [Merge] lp:~widelands-dev/widelands/frisian_music into lp:widelands
  From: GunChleoc, 2018-10-14
• [Merge] lp:~widelands-dev/widelands/frisian_music into lp:widelands
  From: bunnybot, 2019-02-28
• Re: [Merge] lp:~widelands-dev/widelands/frisian_music into lp:widelands
  From: Benedikt Straub, 2019-02-28
• [Merge] lp:~widelands-dev/widelands/frisian_music into lp:widelands
  From: bunnybot, 2019-03-01
• Re: [Merge] lp:~widelands-dev/widelands/frisian_music into lp:widelands
  From: GunChleoc, 2019-03-02
• Re: [Merge] lp:~widelands-dev/widelands/frisian_music into lp:widelands
  From: Toni Förster, 2019-03-02
• Re: [Merge] lp:~widelands-dev/widelands/frisian_music into lp:widelands
  From: GunChleoc, 2019-03-04
• Re: [Merge] lp:~widelands-dev/widelands/frisian_music into lp:widelands
  From: Klaus Halfmann, 2019-03-04
• Re: [Merge] lp:~widelands-dev/widelands/frisian_music into lp:widelands
  From: Klaus Halfmann, 2019-03-04
• [Merge] lp:~widelands-dev/widelands/frisian_music into lp:widelands
  From: bunnybot, 2019-03-04
• Re: [Merge] lp:~widelands-dev/widelands/frisian_music into lp:widelands
  From: Toni Förster, 2019-03-04
• [Merge] lp:~widelands-dev/widelands/frisian_music into lp:widelands
  From: noreply, 2019-03-04
• Re: [Merge] lp:~widelands-dev/widelands/frisian_music into lp:widelands
  From: GunChleoc, 2019-03-05
• [Merge] lp:~widelands-dev/widelands/inputwarequeue_display into lp:widelands
  From: Benedikt Straub, 2018-07-21
• Re: [Merge] lp:~widelands-dev/widelands/inputwarequeue_display into lp:widelands
  From: Notabilis, 2018-07-21
• Re: [Merge] lp:~widelands-dev/widelands/inputwarequeue_display into lp:widelands
  From: Benedikt Straub, 2018-07-21
• [Merge] lp:~widelands-dev/widelands/inputwarequeue_display into lp:widelands
  From: bunnybot, 2018-07-21
• Re: [Merge] lp:~widelands-dev/widelands/inputwarequeue_display into lp:widelands
  From: Notabilis, 2018-07-22
• Re: [Merge] lp:~widelands-dev/widelands/inputwarequeue_display into lp:widelands
  From: Benedikt Straub, 2018-07-22
• Re: [Merge] lp:~widelands-dev/widelands/inputwarequeue_display into lp:widelands
  From: Benedikt Straub, 2018-07-22
• Re: [Merge] lp:~widelands-dev/widelands/inputwarequeue_display into lp:widelands
  From: GunChleoc, 2018-07-22
• Re: [Merge] lp:~widelands-dev/widelands/inputwarequeue_display into lp:widelands
  From: Benedikt Straub, 2018-07-22
• Re: [Merge] lp:~widelands-dev/widelands/inputwarequeue_display into lp:widelands
  From: Notabilis, 2018-07-22
• Re: [Merge] lp:~widelands-dev/widelands/inputwarequeue_display into lp:widelands
  From: GunChleoc, 2018-07-22
• [Merge] lp:~widelands-dev/widelands/inputwarequeue_display into lp:widelands
  From: noreply, 2018-07-23
• [Merge] lp:~widelands-dev/widelands/bug-1782593-segfault-random-map into lp:widelands
  From: Notabilis, 2018-07-21
• Re: [Merge] lp:~widelands-dev/widelands/bug-1782593-segfault-random-map into lp:widelands
  From: GunChleoc, 2018-07-21
• Re: [Merge] lp:~widelands-dev/widelands/bug-1782593-segfault-random-map into lp:widelands
  From: kaputtnik, 2018-07-21
• Re: [Merge] lp:~widelands-dev/widelands/bug-1782593-segfault-random-map into lp:widelands
  From: Notabilis, 2018-07-21
• [Merge] lp:~widelands-dev/widelands/bug-1782593-segfault-random-map into lp:widelands
  From: bunnybot, 2018-07-21
• [Merge] lp:~widelands-dev/widelands/bug-1782593-segfault-random-map into lp:widelands
  From: noreply, 2018-07-21
• [Merge] lp:~widelands-dev/widelands/frisian-buildings into lp:widelands
  From: Benedikt Straub, 2018-07-19
• Re: [Merge] lp:~widelands-dev/widelands/frisian-buildings into lp:widelands
  From: Klaus Halfmann, 2018-07-19
• Re: [Merge] lp:~widelands-dev/widelands/frisian-buildings into lp:widelands
  From: Klaus Halfmann, 2018-07-19
• Re: [Merge] lp:~widelands-dev/widelands/frisian-buildings into lp:widelands
  From: Klaus Halfmann, 2018-07-19
• [Merge] lp:~widelands-dev/widelands/frisian-buildings into lp:widelands
  From: bunnybot, 2018-07-19
• Re: [Merge] lp:~widelands-dev/widelands/frisian-buildings into lp:widelands
  From: GunChleoc, 2018-07-22
• [Merge] lp:~widelands-dev/widelands/frisian-buildings into lp:widelands
  From: bunnybot, 2018-07-23
• [Merge] lp:~widelands-dev/widelands/frisian-buildings into lp:widelands
  From: noreply, 2018-07-23
• Re: [Merge] lp:~widelands-dev/widelands/frisian-buildings into lp:widelands
  From: Benedikt Straub, 2018-07-23
• <Possible follow-ups>
• [Merge] lp:~widelands-dev/widelands/frisian-buildings into lp:widelands
  From: Benedikt Straub, 2018-09-01
• Re: [Merge] lp:~widelands-dev/widelands/frisian-buildings into lp:widelands
  From: GunChleoc, 2018-09-01
• Re: [Merge] lp:~widelands-dev/widelands/frisian-buildings into lp:widelands
  From: Benedikt Straub, 2018-09-01
• [Merge] lp:~widelands-dev/widelands/frisian-buildings into lp:widelands
  From: bunnybot, 2018-09-02
• Re: [Merge] lp:~widelands-dev/widelands/frisian-buildings into lp:widelands
  From: GunChleoc, 2018-09-02
• Re: [Merge] lp:~widelands-dev/widelands/frisian-buildings into lp:widelands
  From: Benedikt Straub, 2018-09-02
• Re: [Merge] lp:~widelands-dev/widelands/frisian-buildings into lp:widelands
  From: GunChleoc, 2018-09-02
• [Merge] lp:~widelands-dev/widelands/frisian-buildings into lp:widelands
  From: noreply, 2018-09-02
• [Merge] lp:~widelands-dev/widelands/frisian-buildings into lp:widelands
  From: Benedikt Straub, 2018-10-18
• [Merge] lp:~widelands-dev/widelands/frisian-buildings into lp:widelands
  From: bunnybot, 2018-10-18
• Re: [Merge] lp:~widelands-dev/widelands/frisian-buildings into lp:widelands
  From: GunChleoc, 2018-10-20
• [Merge] lp:~widelands-dev/widelands/frisian-buildings into lp:widelands
  From: noreply, 2018-10-20
• [Merge] lp:~widelands-dev/widelands/bug-1782377-compiler-error into lp:widelands
  From: Klaus Halfmann, 2018-07-18
• Re: [Merge] lp:~widelands-dev/widelands/bug-1782377-compiler-error into lp:widelands
  From: Klaus Halfmann, 2018-07-18
• Re: [Merge] lp:~widelands-dev/widelands/bug-1782377-compiler-error into lp:widelands
  From: GunChleoc, 2018-07-18
• [Merge] lp:~widelands-dev/widelands/bug-1782377-compiler-error into lp:widelands
  From: bunnybot, 2018-07-19
• [Merge] lp:~widelands-dev/widelands/bug-1782377-compiler-error into lp:widelands
  From: noreply, 2018-07-19
• [Merge] lp:~widelands-dev/widelands/bug-1736901-shift-market into lp:widelands
  From: GunChleoc, 2018-07-15
• Re: [Merge] lp:~widelands-dev/widelands/bug-1736901-shift-market into lp:widelands
  From: kaputtnik, 2018-07-16
• [Merge] lp:~widelands-dev/widelands/bug-1736901-shift-market into lp:widelands
  From: bunnybot, 2018-07-19
• [Merge] lp:~widelands-dev/widelands/bug-1736901-shift-market into lp:widelands
  From: bunnybot, 2018-07-20
• [Merge] lp:~widelands-dev/widelands/bug-1736901-shift-market into lp:widelands
  From: bunnybot, 2018-07-20
• Re: [Merge] lp:~widelands-dev/widelands/bug-1736901-shift-market into lp:widelands
  From: GunChleoc, 2018-07-22
• Re: [Merge] lp:~widelands-dev/widelands/bug-1736901-shift-market into lp:widelands
  From: kaputtnik, 2018-07-25
• Re: [Merge] lp:~widelands-dev/widelands/bug-1736901-shift-market into lp:widelands
  From: GunChleoc, 2018-07-28
• [Merge] lp:~widelands-dev/widelands/bug-1736901-shift-market into lp:widelands
  From: noreply, 2018-07-28
• [Merge] lp:~widelands-dev/widelands/bug-1703833-catch-missing-datadir into lp:widelands
  From: GunChleoc, 2018-07-15
• Re: [Merge] lp:~widelands-dev/widelands/bug-1703833-catch-missing-datadir into lp:widelands
  From: Notabilis, 2018-07-15
• Re: [Merge] lp:~widelands-dev/widelands/bug-1703833-catch-missing-datadir into lp:widelands
  From: Notabilis, 2018-07-17
• Re: [Merge] lp:~widelands-dev/widelands/bug-1703833-catch-missing-datadir into lp:widelands
  From: GunChleoc, 2018-07-18
• [Merge] lp:~widelands-dev/widelands/bug-1703833-catch-missing-datadir into lp:widelands
  From: bunnybot, 2018-07-18
• [Merge] lp:~widelands-dev/widelands/bug-1703833-catch-missing-datadir into lp:widelands
  From: bunnybot, 2018-07-18
• [Merge] lp:~widelands-dev/widelands/bug-1703833-catch-missing-datadir into lp:widelands
  From: bunnybot, 2018-07-20
• Re: [Merge] lp:~widelands-dev/widelands/bug-1703833-catch-missing-datadir into lp:widelands
  From: GunChleoc, 2018-07-20
• [Merge] lp:~widelands-dev/widelands/bug-1703833-catch-missing-datadir into lp:widelands
  From: noreply, 2018-07-20
• [Merge] lp:~widelands-dev/widelands/bug-1619402-port-work-area-on-expedition into lp:widelands
  From: GunChleoc, 2018-07-14
• [Merge] lp:~widelands-dev/widelands/bug-1619402-port-work-area-on-expedition into lp:widelands
  From: GunChleoc, 2018-07-14
• [Merge] lp:~widelands-dev/widelands/bug-1619402-port-work-area-on-expedition into lp:widelands
  From: bunnybot, 2018-07-18
• Re: [Merge] lp:~widelands-dev/widelands/bug-1619402-port-work-area-on-expedition into lp:widelands
  From: Klaus Halfmann, 2018-07-25
• Re: [Merge] lp:~widelands-dev/widelands/bug-1619402-port-work-area-on-expedition into lp:widelands
  From: GunChleoc, 2018-07-28
• [Merge] lp:~widelands-dev/widelands/bug-1619402-port-work-area-on-expedition into lp:widelands
  From: bunnybot, 2018-07-28
• Re: [Merge] lp:~widelands-dev/widelands/bug-1619402-port-work-area-on-expedition into lp:widelands
  From: Klaus Halfmann, 2018-07-28
• Re: [Merge] lp:~widelands-dev/widelands/bug-1619402-port-work-area-on-expedition into lp:widelands
  From: Klaus Halfmann, 2018-07-28
• Re: [Merge] lp:~widelands-dev/widelands/bug-1619402-port-work-area-on-expedition into lp:widelands
  From: Klaus Halfmann, 2018-07-29
• Re: [Merge] lp:~widelands-dev/widelands/bug-1619402-port-work-area-on-expedition into lp:widelands
  From: Klaus Halfmann, 2018-07-29
• Re: [Merge] lp:~widelands-dev/widelands/bug-1619402-port-work-area-on-expedition into lp:widelands
  From: Klaus Halfmann, 2018-07-29
• Re: [Merge] lp:~widelands-dev/widelands/bug-1619402-port-work-area-on-expedition into lp:widelands
  From: GunChleoc, 2018-07-29
• Re: [Merge] lp:~widelands-dev/widelands/bug-1619402-port-work-area-on-expedition into lp:widelands
  From: Klaus Halfmann, 2018-07-29
• Re: [Merge] lp:~widelands-dev/widelands/bug-1619402-port-work-area-on-expedition into lp:widelands
  From: Klaus Halfmann, 2018-07-29
• Re: [Merge] lp:~widelands-dev/widelands/bug-1619402-port-work-area-on-expedition into lp:widelands
  From: GunChleoc, 2018-07-30
• Re: [Merge] lp:~widelands-dev/widelands/bug-1619402-port-work-area-on-expedition into lp:widelands
  From: Klaus Halfmann, 2018-07-31
• Re: [Merge] lp:~widelands-dev/widelands/bug-1619402-port-work-area-on-expedition into lp:widelands
  From: GunChleoc, 2018-07-31
• Re: [Merge] lp:~widelands-dev/widelands/bug-1619402-port-work-area-on-expedition into lp:widelands
  From: GunChleoc, 2018-08-10
• [Merge] lp:~widelands-dev/widelands/bug-1619402-port-work-area-on-expedition into lp:widelands
  From: bunnybot, 2018-08-10
• [Merge] lp:~widelands-dev/widelands/bug-1619402-port-work-area-on-expedition into lp:widelands
  From: bunnybot, 2018-08-10
• Re: [Merge] lp:~widelands-dev/widelands/bug-1619402-port-work-area-on-expedition into lp:widelands
  From: Klaus Halfmann, 2018-08-12
• Re: [Merge] lp:~widelands-dev/widelands/bug-1619402-port-work-area-on-expedition into lp:widelands
  From: GunChleoc, 2018-08-13
• Re: [Merge] lp:~widelands-dev/widelands/bug-1619402-port-work-area-on-expedition into lp:widelands
  From: GunChleoc, 2018-08-13
• [Merge] lp:~widelands-dev/widelands/bug-1619402-port-work-area-on-expedition into lp:widelands
  From: bunnybot, 2018-08-14
• [Merge] lp:~widelands-dev/widelands/bug-1619402-port-work-area-on-expedition into lp:widelands
  From: noreply, 2018-08-14
• [Merge] lp:~widelands-dev/widelands/ai_wai_files_13072018 into lp:widelands
  From: TiborB, 2018-07-13
• Re: [Merge] lp:~widelands-dev/widelands/ai_wai_files_13072018 into lp:widelands
  From: GunChleoc, 2018-07-14
• [Merge] lp:~widelands-dev/widelands/ai_wai_files_13072018 into lp:widelands
  From: bunnybot, 2018-07-18
• [Merge] lp:~widelands-dev/widelands/ai_wai_files_13072018 into lp:widelands
  From: bunnybot, 2018-07-18
• Re: [Merge] lp:~widelands-dev/widelands/ai_wai_files_13072018 into lp:widelands
  From: GunChleoc, 2018-07-18
• [Merge] lp:~widelands-dev/widelands/ai_wai_files_13072018 into lp:widelands
  From: noreply, 2018-07-18
• [Merge] lp:~widelands-dev/widelands/ai_scoring_typo into lp:widelands
  From: TiborB, 2018-07-13
• Re: [Merge] lp:~widelands-dev/widelands/ai_scoring_typo into lp:widelands
  From: hessenfarmer, 2018-07-13
• Re: [Merge] lp:~widelands-dev/widelands/ai_scoring_typo into lp:widelands
  From: GunChleoc, 2018-07-14
• [Merge] lp:~widelands-dev/widelands/ai_scoring_typo into lp:widelands
  From: bunnybot, 2018-07-18
• [Merge] lp:~widelands-dev/widelands/ai_scoring_typo into lp:widelands
  From: noreply, 2018-07-18
• [Merge] lp:~widelands-dev/widelands/remove-savegame-compatibility-after-economy-change into lp:widelands
  From: GunChleoc, 2018-07-12
• [Merge] lp:~widelands-dev/widelands/remove-savegame-compatibility-after-economy-change into lp:widelands
  From: GunChleoc, 2018-07-12
• <Possible follow-ups>
• [Merge] lp:~widelands-dev/widelands/remove-savegame-compatibility-after-economy-change into lp:widelands
  From: GunChleoc, 2018-07-12
• [Merge] lp:~widelands-dev/widelands/remove-savegame-compatibility-after-economy-change into lp:widelands
  From: bunnybot, 2018-07-12
• Re: [Merge] lp:~widelands-dev/widelands/remove-savegame-compatibility-after-economy-change into lp:widelands
  From: Notabilis, 2018-07-15
• Re: [Merge] lp:~widelands-dev/widelands/remove-savegame-compatibility-after-economy-change into lp:widelands
  From: GunChleoc, 2018-07-18
• [Merge] lp:~widelands-dev/widelands/remove-savegame-compatibility-after-economy-change into lp:widelands
  From: bunnybot, 2018-07-18
• Re: [Merge] lp:~widelands-dev/widelands/remove-savegame-compatibility-after-economy-change into lp:widelands
  From: GunChleoc, 2018-07-20
• [Merge] lp:~widelands-dev/widelands/remove-savegame-compatibility-after-economy-change into lp:widelands
  From: bunnybot, 2018-07-20
• [Merge] lp:~widelands-dev/widelands/remove-savegame-compatibility-after-economy-change into lp:widelands
  From: bunnybot, 2018-07-21
• Re: [Merge] lp:~widelands-dev/widelands/remove-savegame-compatibility-after-economy-change into lp:widelands
  From: GunChleoc, 2018-07-22
• [Merge] lp:~widelands-dev/widelands/remove-savegame-compatibility-after-economy-change into lp:widelands
  From: noreply, 2018-07-22
• [Merge] lp:~widelands-dev/widelands/bug-1629691-make-empty-ai-empty into lp:widelands
  From: GunChleoc, 2018-07-12
• [Merge] lp:~widelands-dev/widelands/bug-1629691-make-empty-ai-empty into lp:widelands
  From: bunnybot, 2018-07-12
• Re: [Merge] lp:~widelands-dev/widelands/bug-1629691-make-empty-ai-empty into lp:widelands
  From: Notabilis, 2018-07-15
• Re: [Merge] lp:~widelands-dev/widelands/bug-1629691-make-empty-ai-empty into lp:widelands
  From: GunChleoc, 2018-07-17
• Re: [Merge] lp:~widelands-dev/widelands/bug-1629691-make-empty-ai-empty into lp:widelands
  From: GunChleoc, 2018-07-17
• [Merge] lp:~widelands-dev/widelands/bug-1629691-make-empty-ai-empty into lp:widelands
  From: noreply, 2018-07-17
• [Merge] lp:~widelands-dev/widelands/bug_1780486_translation_fix into lp:widelands
  From: hessenfarmer, 2018-07-09
• [Merge] lp:~widelands-dev/widelands/bug_1780486_translation_fix into lp:widelands
  From: bunnybot, 2018-07-10
• Re: [Merge] lp:~widelands-dev/widelands/bug_1780486_translation_fix into lp:widelands
  From: GunChleoc, 2018-07-10
• [Merge] lp:~widelands-dev/widelands/bug_1780486_translation_fix into lp:widelands
  From: noreply, 2018-07-10
• [Merge] lp:~widelands-dev/widelands/bug-1733064-program-redesign into lp:widelands
  From: GunChleoc, 2018-07-08
• [Merge] lp:~widelands-dev/widelands/bug-1733064-program-redesign into lp:widelands
  From: bunnybot, 2018-07-09
• [Merge] lp:~widelands-dev/widelands/bug-1733064-program-redesign into lp:widelands
  From: bunnybot, 2018-07-09
• Re: [Merge] lp:~widelands-dev/widelands/bug-1733064-program-redesign into lp:widelands
  From: hessenfarmer, 2018-07-11
• [Merge] lp:~widelands-dev/widelands/bug-1733064-program-redesign into lp:widelands
  From: GunChleoc, 2018-07-11
• Re: [Merge] lp:~widelands-dev/widelands/bug-1733064-program-redesign into lp:widelands
  From: hessenfarmer, 2018-07-11
• [Merge] lp:~widelands-dev/widelands/bug-1733064-program-redesign into lp:widelands
  From: bunnybot, 2018-07-12
• Re: [Merge] lp:~widelands-dev/widelands/bug-1733064-program-redesign into lp:widelands
  From: GunChleoc, 2018-07-12
• Re: [Merge] lp:~widelands-dev/widelands/bug-1733064-program-redesign into lp:widelands
  From: hessenfarmer, 2018-07-12
• Re: [Merge] lp:~widelands-dev/widelands/bug-1733064-program-redesign into lp:widelands
  From: Tino, 2018-07-12
• [Merge] lp:~widelands-dev/widelands/bug-1733064-program-redesign into lp:widelands
  From: noreply, 2018-07-12
• [Merge] lp:~widelands-dev/widelands/bug-1678987-save-handler into lp:widelands
  From: GunChleoc, 2018-07-08
• [Merge] lp:~widelands-dev/widelands/bug-1678987-save-handler into lp:widelands
  From: bunnybot, 2018-07-09
• [Merge] lp:~widelands-dev/widelands/bug-1678987-save-handler into lp:widelands
  From: GunChleoc, 2018-07-11
• <Possible follow-ups>
• [Merge] lp:~widelands-dev/widelands/bug-1678987-save-handler into lp:widelands
  From: GunChleoc, 2018-07-12
• [Merge] lp:~widelands-dev/widelands/bug-1678987-save-handler into lp:widelands
  From: bunnybot, 2018-07-12
• [Merge] lp:~widelands-dev/widelands/bug-1678987-save-handler into lp:widelands
  From: GunChleoc, 2018-07-13
• [Merge] lp:~widelands-dev/widelands/bug-1678987-save-handler into lp:widelands
  From: GunChleoc, 2018-07-13
• Re: [Merge] lp:~widelands-dev/widelands/bug-1678987-save-handler into lp:widelands
  From: GunChleoc, 2018-07-13
• Re: [Merge] lp:~widelands-dev/widelands/bug-1678987-save-handler into lp:widelands
  From: Klaus Halfmann, 2018-07-13
• Re: [Merge] lp:~widelands-dev/widelands/bug-1678987-save-handler into lp:widelands
  From: Klaus Halfmann, 2018-07-13
• Re: [Merge] lp:~widelands-dev/widelands/bug-1678987-save-handler into lp:widelands
  From: Klaus Halfmann, 2018-07-13
• Re: [Merge] lp:~widelands-dev/widelands/bug-1678987-save-handler into lp:widelands
  From: GunChleoc, 2018-07-14
• Re: [Merge] lp:~widelands-dev/widelands/bug-1678987-save-handler into lp:widelands
  From: Klaus Halfmann, 2018-07-14
• Re: [Merge] lp:~widelands-dev/widelands/bug-1678987-save-handler into lp:widelands
  From: GunChleoc, 2018-07-14
• [Merge] lp:~widelands-dev/widelands/bug-1678987-save-handler into lp:widelands
  From: noreply, 2018-07-18
• [recipe build #1605733] of ~widelands-dev widelands-daily in cosmic: Chroot problem
  From: noreply, 2018-07-08
• [recipe build #1605731] of ~widelands-dev widelands-daily in artful: Chroot problem
  From: noreply, 2018-07-08
• [recipe build #1605732] of ~widelands-dev widelands-daily in bionic: Chroot problem
  From: noreply, 2018-07-08
• [Merge] lp:~widelands-dev/widelands/update_eris_to_1_1_2 into lp:widelands
  From: GunChleoc, 2018-07-08
• Re: [Merge] lp:~widelands-dev/widelands/update_eris_to_1_1_2 into lp:widelands
  From: SirVer, 2018-07-08
• Re: [Merge] lp:~widelands-dev/widelands/update_eris_to_1_1_2 into lp:widelands
  From: GunChleoc, 2018-07-08
• [Merge] lp:~widelands-dev/widelands/update_eris_to_1_1_2 into lp:widelands
  From: bunnybot, 2018-07-09
• Re: [Merge] lp:~widelands-dev/widelands/update_eris_to_1_1_2 into lp:widelands
  From: GunChleoc, 2018-07-11
• [Merge] lp:~widelands-dev/widelands/update_eris_to_1_1_2 into lp:widelands
  From: bunnybot, 2018-07-11
• [Merge] lp:~widelands-dev/widelands/update_eris_to_1_1_2 into lp:widelands
  From: noreply, 2018-07-11
• [Merge] lp:~widelands-dev/widelands/editor_infotool_rendering into lp:widelands
  From: GunChleoc, 2018-07-08
• [Merge] lp:~widelands-dev/widelands/editor_infotool_rendering into lp:widelands
  From: bunnybot, 2018-07-08
• Re: [Merge] lp:~widelands-dev/widelands/editor_infotool_rendering into lp:widelands
  From: Klaus Halfmann, 2018-07-14
• Re: [Merge] lp:~widelands-dev/widelands/editor_infotool_rendering into lp:widelands
  From: Klaus Halfmann, 2018-07-14
• Re: [Merge] lp:~widelands-dev/widelands/editor_infotool_rendering into lp:widelands
  From: GunChleoc, 2018-07-14
• Re: [Merge] lp:~widelands-dev/widelands/editor_infotool_rendering into lp:widelands
  From: kaputtnik, 2018-07-14
• Re: [Merge] lp:~widelands-dev/widelands/editor_infotool_rendering into lp:widelands
  From: GunChleoc, 2018-07-14
• [Merge] lp:~widelands-dev/widelands/editor_infotool_rendering into lp:widelands
  From: bunnybot, 2018-07-18
• Re: [Merge] lp:~widelands-dev/widelands/editor_infotool_rendering into lp:widelands
  From: GunChleoc, 2018-07-19
• [Merge] lp:~widelands-dev/widelands/editor_infotool_rendering into lp:widelands
  From: bunnybot, 2018-07-19
• [Merge] lp:~widelands-dev/widelands/editor_infotool_rendering into lp:widelands
  From: noreply, 2018-07-19

 •  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