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.

• [Merge] lp:~widelands-dev/widelands/bug-1691339-editor-8-players into lp:widelands, (continued)
  • [Merge] lp:~widelands-dev/widelands/bug-1691339-editor-8-players into lp:widelands
    From: bunnybot, 2018-07-08
  • Re: [Merge] lp:~widelands-dev/widelands/bug-1691339-editor-8-players into lp:widelands
    From: Klaus Halfmann, 2018-07-10
  • Re: [Merge] lp:~widelands-dev/widelands/bug-1691339-editor-8-players into lp:widelands
    From: Klaus Halfmann, 2018-07-10
  • Re: [Merge] lp:~widelands-dev/widelands/bug-1691339-editor-8-players into lp:widelands
    From: GunChleoc, 2018-07-10
  • Re: [Merge] lp:~widelands-dev/widelands/bug-1691339-editor-8-players into lp:widelands
    From: kaputtnik, 2018-07-10
  • Re: [Merge] lp:~widelands-dev/widelands/bug-1691339-editor-8-players into lp:widelands
    From: GunChleoc, 2018-07-12
  • Re: [Merge] lp:~widelands-dev/widelands/bug-1691339-editor-8-players into lp:widelands
    From: Klaus Halfmann, 2018-07-12
  • Re: [Merge] lp:~widelands-dev/widelands/bug-1691339-editor-8-players into lp:widelands
    From: GunChleoc, 2018-07-12
  • Re: [Merge] lp:~widelands-dev/widelands/bug-1691339-editor-8-players into lp:widelands
    From: kaputtnik, 2018-07-12
  • Re: [Merge] lp:~widelands-dev/widelands/bug-1691339-editor-8-players into lp:widelands
    From: GunChleoc, 2018-07-12
  • Re: [Merge] lp:~widelands-dev/widelands/bug-1691339-editor-8-players into lp:widelands
    From: GunChleoc, 2018-07-13
  • [Merge] lp:~widelands-dev/widelands/bug-1691339-editor-8-players into lp:widelands
    From: bunnybot, 2018-07-13
  • Re: [Merge] lp:~widelands-dev/widelands/bug-1691339-editor-8-players into lp:widelands
    From: GunChleoc, 2018-07-13
  • [Merge] lp:~widelands-dev/widelands/bug-1691339-editor-8-players into lp:widelands
    From: noreply, 2018-07-13
• [Merge] lp:~widelands-dev/widelands/remove_nocom_logs_campaign_data into lp:widelands
  From: GunChleoc, 2018-07-07
• Re: [Merge] lp:~widelands-dev/widelands/remove_nocom_logs_campaign_data into lp:widelands
  From: Benedikt Straub, 2018-07-07
• Re: [Merge] lp:~widelands-dev/widelands/remove_nocom_logs_campaign_data into lp:widelands
  From: GunChleoc, 2018-07-07
• [Merge] lp:~widelands-dev/widelands/remove_nocom_logs_campaign_data into lp:widelands
  From: bunnybot, 2018-07-07
• [Merge] lp:~widelands-dev/widelands/remove_nocom_logs_campaign_data into lp:widelands
  From: noreply, 2018-07-07
• [Merge] lp:~widelands-dev/widelands/bug-1724145-corrupt-zip-when-saving into lp:widelands
  From: GunChleoc, 2018-07-07
• [Merge] lp:~widelands-dev/widelands/bug-1724145-corrupt-zip-when-saving into lp:widelands
  From: bunnybot, 2018-07-07
• Re: [Merge] lp:~widelands-dev/widelands/bug-1724145-corrupt-zip-when-saving into lp:widelands
  From: Notabilis, 2018-07-08
• Re: [Merge] lp:~widelands-dev/widelands/bug-1724145-corrupt-zip-when-saving into lp:widelands
  From: GunChleoc, 2018-07-08
• [Merge] lp:~widelands-dev/widelands/bug-1724145-corrupt-zip-when-saving into lp:widelands
  From: noreply, 2018-07-08
• [Merge] lp:~widelands-dev/widelands/bug1780401_rtfix into lp:widelands
  From: hessenfarmer, 2018-07-06
• [Merge] lp:~widelands-dev/widelands/bug1780401_rtfix into lp:widelands
  From: GunChleoc, 2018-07-06
• Re: [Merge] lp:~widelands-dev/widelands/bug1780401_rtfix into lp:widelands
  From: GunChleoc, 2018-07-06
• [Merge] lp:~widelands-dev/widelands/bug1780401_rtfix into lp:widelands
  From: bunnybot, 2018-07-07
• [Merge] lp:~widelands-dev/widelands/bug1780401_rtfix into lp:widelands
  From: noreply, 2018-07-07
• [recipe build #1604764] of ~widelands-dev widelands-daily in bionic: Chroot problem
  From: noreply, 2018-07-06
• [recipe build #1604763] of ~widelands-dev widelands-daily in artful: Chroot problem
  From: noreply, 2018-07-06
• [recipe build #1604765] of ~widelands-dev widelands-daily in cosmic: Chroot problem
  From: noreply, 2018-07-06
• [Merge] lp:~widelands-dev/widelands/bug-1638280-coroutine-messages into lp:widelands
  From: GunChleoc, 2018-07-06
• [Merge] lp:~widelands-dev/widelands/bug-1638280-coroutine-messages into lp:widelands
  From: bunnybot, 2018-07-06
• [Merge] lp:~widelands-dev/widelands/congestion2 into lp:widelands
  From: ypopezios, 2018-06-26
• [Merge] lp:~widelands-dev/widelands/congestion2 into lp:widelands
  From: bunnybot, 2018-06-26
• Re: [Merge] lp:~widelands-dev/widelands/congestion2 into lp:widelands
  From: kaputtnik, 2018-06-26
• Re: [Merge] lp:~widelands-dev/widelands/congestion2 into lp:widelands
  From: GunChleoc, 2018-07-06
• Re: [Merge] lp:~widelands-dev/widelands/congestion2 into lp:widelands
  From: Klaus Halfmann, 2018-07-10
• Re: [Merge] lp:~widelands-dev/widelands/congestion2 into lp:widelands
  From: ypopezios, 2018-07-10
• Re: [Merge] lp:~widelands-dev/widelands/congestion2 into lp:widelands
  From: Klaus Halfmann, 2018-07-10
• Re: [Merge] lp:~widelands-dev/widelands/congestion2 into lp:widelands
  From: ypopezios, 2018-07-10
• Re: [Merge] lp:~widelands-dev/widelands/congestion2 into lp:widelands
  From: Klaus Halfmann, 2018-07-10
• Re: [Merge] lp:~widelands-dev/widelands/congestion2 into lp:widelands
  From: Klaus Halfmann, 2018-07-10
• Re: [Merge] lp:~widelands-dev/widelands/congestion2 into lp:widelands
  From: Klaus Halfmann, 2018-07-10
• Re: [Merge] lp:~widelands-dev/widelands/congestion2 into lp:widelands
  From: ypopezios, 2018-07-11
• Re: [Merge] lp:~widelands-dev/widelands/congestion2 into lp:widelands
  From: ypopezios, 2018-07-12
• Re: [Merge] lp:~widelands-dev/widelands/congestion2 into lp:widelands
  From: GunChleoc, 2018-07-12
• [Merge] lp:~widelands-dev/widelands/congestion2 into lp:widelands
  From: bunnybot, 2018-07-26
• [Merge] lp:~widelands-dev/widelands/congestion2 into lp:widelands
  From: bunnybot, 2018-07-30
• Re: [Merge] lp:~widelands-dev/widelands/congestion2 into lp:widelands
  From: GunChleoc, 2018-08-01
• Re: [Merge] lp:~widelands-dev/widelands/congestion2 into lp:widelands
  From: ypopezios, 2018-08-01
• [Merge] lp:~widelands-dev/widelands/congestion2 into lp:widelands
  From: bunnybot, 2018-08-08
• Re: [Merge] lp:~widelands-dev/widelands/congestion2 into lp:widelands
  From: GunChleoc, 2018-08-09
• [Merge] lp:~widelands-dev/widelands/congestion2 into lp:widelands
  From: GunChleoc, 2018-08-09
• [Merge] lp:~widelands-dev/widelands/congestion2 into lp:widelands
  From: GunChleoc, 2018-08-09
• [Merge] lp:~widelands-dev/widelands/congestion2 into lp:widelands
  From: bunnybot, 2018-08-09
• [Merge] lp:~widelands-dev/widelands/congestion2 into lp:widelands
  From: noreply, 2018-08-09
• [Merge] lp:~widelands-dev/widelands/congestion into lp:widelands
  From: ypopezios, 2018-06-17
• [Merge] lp:~widelands-dev/widelands/congestion into lp:widelands
  From: ypopezios, 2018-06-22
• Re: [Merge] lp:~widelands-dev/widelands/congestion into lp:widelands
  From: ypopezios, 2018-06-22
• <Possible follow-ups>
• [Merge] lp:~widelands-dev/widelands/congestion into lp:widelands
  From: ypopezios, 2018-06-22
• [Merge] lp:~widelands-dev/widelands/congestion into lp:widelands
  From: ypopezios, 2018-06-22
• [Merge] lp:~widelands-dev/widelands/congestion into lp:widelands
  From: ypopezios, 2018-06-22
• [Merge] lp:~widelands-dev/widelands/congestion into lp:widelands
  From: ypopezios, 2018-06-25
• [Merge] lp:~widelands-dev/widelands/bug-1776007_make_asan_explicit into lp:widelands
  From: kaputtnik, 2018-06-12
• Re: [Merge] lp:~widelands-dev/widelands/bug-1776007_make_asan_explicit into lp:widelands
  From: GunChleoc, 2018-06-12
• [Merge] lp:~widelands-dev/widelands/bug-1776007_make_asan_explicit into lp:widelands
  From: bunnybot, 2018-06-13
• Re: [Merge] lp:~widelands-dev/widelands/bug-1776007_make_asan_explicit into lp:widelands
  From: kaputtnik, 2018-06-13
• [Merge] lp:~widelands-dev/widelands/changelog-networking into lp:widelands
  From: Notabilis, 2018-06-12
• Re: [Merge] lp:~widelands-dev/widelands/changelog-networking into lp:widelands
  From: kaputtnik, 2018-06-12
• [Merge] lp:~widelands-dev/widelands/changelog-networking into lp:widelands
  From: bunnybot, 2018-06-12
• [Merge] lp:~widelands-dev/widelands/changelog-networking into lp:widelands
  From: noreply, 2018-06-12
• [Merge] lp:~widelands-dev/widelands/bug-1776008-boost-deleted-uuid-function into lp:widelands
  From: Notabilis, 2018-06-11
• Re: [Merge] lp:~widelands-dev/widelands/bug-1776008-boost-deleted-uuid-function into lp:widelands
  From: kaputtnik, 2018-06-11
• [Merge] lp:~widelands-dev/widelands/bug-1776008-boost-deleted-uuid-function into lp:widelands
  From: bunnybot, 2018-06-11
• Re: [Merge] lp:~widelands-dev/widelands/bug-1776008-boost-deleted-uuid-function into lp:widelands
  From: Notabilis, 2018-06-12
• [Merge] lp:~widelands-dev/widelands/bug-1776008-boost-deleted-uuid-function into lp:widelands
  From: noreply, 2018-06-12
• [Merge] lp:~lucki1/widelands/add-xdg-support into lp:widelands
  From: Lucki, 2018-06-07
• [Merge] lp:~lucki1/widelands/add-xdg-support into lp:widelands
  From: bunnybot, 2018-06-08
• Re: [Merge] lp:~lucki1/widelands/add-xdg-support into lp:widelands
  From: Klaus Halfmann, 2018-06-08
• [Merge] lp:~lucki1/widelands/add-xdg-support into lp:widelands
  From: bunnybot, 2018-06-09
• Re: [Merge] lp:~lucki1/widelands/add-xdg-support into lp:widelands
  From: GunChleoc, 2018-06-16
• [Merge] lp:~lucki1/widelands/add-xdg-support into lp:widelands
  From: bunnybot, 2018-06-17
• Re: [Merge] lp:~lucki1/widelands/add-xdg-support into lp:widelands
  From: Klaus Halfmann, 2018-06-21
• Re: [Merge] lp:~lucki1/widelands/add-xdg-support into lp:widelands
  From: Klaus Halfmann, 2018-06-21
• Re: [Merge] lp:~lucki1/widelands/add-xdg-support into lp:widelands
  From: Klaus Halfmann, 2018-06-21
• [Merge] lp:~widelands-dev/widelands/bug-1773688-ui-starting-condition2 into lp:widelands
  From: Notabilis, 2018-06-07
• [Merge] lp:~widelands-dev/widelands/bug-1773688-ui-starting-condition2 into lp:widelands
  From: bunnybot, 2018-06-07
• Re: [Merge] lp:~widelands-dev/widelands/bug-1773688-ui-starting-condition2 into lp:widelands
  From: GunChleoc, 2018-06-08
• Re: [Merge] lp:~widelands-dev/widelands/bug-1773688-ui-starting-condition2 into lp:widelands
  From: Notabilis, 2018-06-08
• [Merge] lp:~widelands-dev/widelands/bug-1773688-ui-starting-condition2 into lp:widelands
  From: bunnybot, 2018-06-09
• Re: [Merge] lp:~widelands-dev/widelands/bug-1773688-ui-starting-condition2 into lp:widelands
  From: GunChleoc, 2018-06-16
• [Merge] lp:~widelands-dev/widelands/bug-1773688-ui-starting-condition2 into lp:widelands
  From: noreply, 2018-06-16
• [Merge] lp:~widelands-dev/widelands/bug-1773688-ui-starting-condition into lp:widelands
  From: Notabilis, 2018-06-06
• [Merge] lp:~widelands-dev/widelands/bug-1773688-ui-starting-condition into lp:widelands
  From: bunnybot, 2018-06-06
• Re: [Merge] lp:~widelands-dev/widelands/bug-1773688-ui-starting-condition into lp:widelands
  From: GunChleoc, 2018-06-07
• Re: [Merge] lp:~widelands-dev/widelands/bug-1773688-ui-starting-condition into lp:widelands
  From: Notabilis, 2018-06-07
• [Merge] lp:~widelands-dev/widelands/filesystem_translator_comments_codecheck into lp:widelands
  From: GunChleoc, 2018-06-05
• [Merge] lp:~widelands-dev/widelands/filesystem_translator_comments_codecheck into lp:widelands
  From: bunnybot, 2018-06-05
• Re: [Merge] lp:~widelands-dev/widelands/filesystem_translator_comments_codecheck into lp:widelands
  From: GunChleoc, 2018-06-06
• [Merge] lp:~widelands-dev/widelands/filesystem_translator_comments_codecheck into lp:widelands
  From: bunnybot, 2018-06-06
• [Merge] lp:~widelands-dev/widelands/filesystem_translator_comments_codecheck into lp:widelands
  From: noreply, 2018-06-06
• [Merge] lp:~widelands-dev/widelands/previous_song_exclusion into lp:widelands
  From: ypopezios, 2018-06-04
• [Merge] lp:~widelands-dev/widelands/previous_song_exclusion into lp:widelands
  From: bunnybot, 2018-06-05
• Re: [Merge] lp:~widelands-dev/widelands/previous_song_exclusion into lp:widelands
  From: GunChleoc, 2018-06-05
• [Merge] lp:~widelands-dev/widelands/previous_song_exclusion into lp:widelands
  From: bunnybot, 2018-06-05
• Re: [Merge] lp:~widelands-dev/widelands/previous_song_exclusion into lp:widelands
  From: GunChleoc, 2018-06-06
• [Merge] lp:~widelands-dev/widelands/previous_song_exclusion into lp:widelands
  From: noreply, 2018-06-06
• [Merge] lp:~widelands-dev/widelands/empire04_bugfix into lp:widelands
  From: hessenfarmer, 2018-06-01
• [Merge] lp:~widelands-dev/widelands/empire04_bugfix into lp:widelands
  From: bunnybot, 2018-06-02
• Re: [Merge] lp:~widelands-dev/widelands/empire04_bugfix into lp:widelands
  From: hessenfarmer, 2018-06-02
• Re: [Merge] lp:~widelands-dev/widelands/empire04_bugfix into lp:widelands
  From: GunChleoc, 2018-06-04
• [Merge] lp:~widelands-dev/widelands/empire04_bugfix into lp:widelands
  From: bunnybot, 2018-06-04
• [Merge] lp:~widelands-dev/widelands/empire04_bugfix into lp:widelands
  From: bunnybot, 2018-06-14
• Re: [Merge] lp:~widelands-dev/widelands/empire04_bugfix into lp:widelands
  From: hessenfarmer, 2018-06-14
• Re: [Merge] lp:~widelands-dev/widelands/empire04_bugfix into lp:widelands
  From: ypopezios, 2018-06-14
• Re: [Merge] lp:~widelands-dev/widelands/empire04_bugfix into lp:widelands
  From: hessenfarmer, 2018-06-14
• Re: [Merge] lp:~widelands-dev/widelands/empire04_bugfix into lp:widelands
  From: ypopezios, 2018-06-14
• Re: [Merge] lp:~widelands-dev/widelands/empire04_bugfix into lp:widelands
  From: hessenfarmer, 2018-06-14
• Re: [Merge] lp:~widelands-dev/widelands/empire04_bugfix into lp:widelands
  From: GunChleoc, 2018-06-16
• [Merge] lp:~widelands-dev/widelands/empire04_bugfix into lp:widelands
  From: noreply, 2018-06-16
• [Merge] lp:~widelands-dev/widelands/frisian_balancing_with_ai_hints into lp:widelands
  From: TiborB, 2018-05-30
• [Merge] lp:~widelands-dev/widelands/frisian_balancing_with_ai_hints into lp:widelands
  From: bunnybot, 2018-05-31
• Re: [Merge] lp:~widelands-dev/widelands/frisian_balancing_with_ai_hints into lp:widelands
  From: GunChleoc, 2018-05-31
• [Merge] lp:~widelands-dev/widelands/frisian_balancing_with_ai_hints into lp:widelands
  From: bunnybot, 2018-06-01
• Re: [Merge] lp:~widelands-dev/widelands/frisian_balancing_with_ai_hints into lp:widelands
  From: GunChleoc, 2018-06-01
• Re: [Merge] lp:~widelands-dev/widelands/frisian_balancing_with_ai_hints into lp:widelands
  From: TiborB, 2018-06-01
• Re: [Merge] lp:~widelands-dev/widelands/frisian_balancing_with_ai_hints into lp:widelands
  From: hessenfarmer, 2018-06-01
• Re: [Merge] lp:~widelands-dev/widelands/frisian_balancing_with_ai_hints into lp:widelands
  From: hessenfarmer, 2018-06-02
• Re: [Merge] lp:~widelands-dev/widelands/frisian_balancing_with_ai_hints into lp:widelands
  From: hessenfarmer, 2018-06-02
• Re: [Merge] lp:~widelands-dev/widelands/frisian_balancing_with_ai_hints into lp:widelands
  From: hessenfarmer, 2018-06-02
• Re: [Merge] lp:~widelands-dev/widelands/frisian_balancing_with_ai_hints into lp:widelands
  From: TiborB, 2018-06-02
• Re: [Merge] lp:~widelands-dev/widelands/frisian_balancing_with_ai_hints into lp:widelands
  From: TiborB, 2018-06-02
• Re: [Merge] lp:~widelands-dev/widelands/frisian_balancing_with_ai_hints into lp:widelands
  From: hessenfarmer, 2018-06-03
• [Merge] lp:~widelands-dev/widelands/frisian_balancing_with_ai_hints into lp:widelands
  From: bunnybot, 2018-06-04
• Re: [Merge] lp:~widelands-dev/widelands/frisian_balancing_with_ai_hints into lp:widelands
  From: TiborB, 2018-06-04
• Re: [Merge] lp:~widelands-dev/widelands/frisian_balancing_with_ai_hints into lp:widelands
  From: hessenfarmer, 2018-06-04
• Re: [Merge] lp:~widelands-dev/widelands/frisian_balancing_with_ai_hints into lp:widelands
  From: GunChleoc, 2018-06-04
• Re: [Merge] lp:~widelands-dev/widelands/frisian_balancing_with_ai_hints into lp:widelands
  From: TiborB, 2018-06-04
• Re: [Merge] lp:~widelands-dev/widelands/frisian_balancing_with_ai_hints into lp:widelands
  From: hessenfarmer, 2018-06-04
• Re: [Merge] lp:~widelands-dev/widelands/frisian_balancing_with_ai_hints into lp:widelands
  From: hessenfarmer, 2018-06-04
• Re: [Merge] lp:~widelands-dev/widelands/frisian_balancing_with_ai_hints into lp:widelands
  From: TiborB, 2018-06-05
• Re: [Merge] lp:~widelands-dev/widelands/frisian_balancing_with_ai_hints into lp:widelands
  From: TiborB, 2018-06-05
• Re: [Merge] lp:~widelands-dev/widelands/frisian_balancing_with_ai_hints into lp:widelands
  From: hessenfarmer, 2018-06-05
• [Merge] lp:~widelands-dev/widelands/frisian_balancing_with_ai_hints into lp:widelands
  From: bunnybot, 2018-06-06
• Re: [Merge] lp:~widelands-dev/widelands/frisian_balancing_with_ai_hints into lp:widelands
  From: TiborB, 2018-06-06
• Re: [Merge] lp:~widelands-dev/widelands/frisian_balancing_with_ai_hints into lp:widelands
  From: hessenfarmer, 2018-06-06
• Re: [Merge] lp:~widelands-dev/widelands/frisian_balancing_with_ai_hints into lp:widelands
  From: TiborB, 2018-06-06
• Re: [Merge] lp:~widelands-dev/widelands/frisian_balancing_with_ai_hints into lp:widelands
  From: hessenfarmer, 2018-06-06
• Re: [Merge] lp:~widelands-dev/widelands/frisian_balancing_with_ai_hints into lp:widelands
  From: TiborB, 2018-06-06
• Re: [Merge] lp:~widelands-dev/widelands/frisian_balancing_with_ai_hints into lp:widelands
  From: hessenfarmer, 2018-06-06
• [Merge] lp:~widelands-dev/widelands/frisian_balancing_with_ai_hints into lp:widelands
  From: bunnybot, 2018-06-07
• Re: [Merge] lp:~widelands-dev/widelands/frisian_balancing_with_ai_hints into lp:widelands
  From: TiborB, 2018-06-07
• Re: [Merge] lp:~widelands-dev/widelands/frisian_balancing_with_ai_hints into lp:widelands
  From: TiborB, 2018-06-07
• Re: [Merge] lp:~widelands-dev/widelands/frisian_balancing_with_ai_hints into lp:widelands
  From: hessenfarmer, 2018-06-07
• Re: [Merge] lp:~widelands-dev/widelands/frisian_balancing_with_ai_hints into lp:widelands
  From: TiborB, 2018-06-07
• Re: [Merge] lp:~widelands-dev/widelands/frisian_balancing_with_ai_hints into lp:widelands
  From: hessenfarmer, 2018-06-07
• Re: [Merge] lp:~widelands-dev/widelands/frisian_balancing_with_ai_hints into lp:widelands
  From: TiborB, 2018-06-07
• Re: [Merge] lp:~widelands-dev/widelands/frisian_balancing_with_ai_hints into lp:widelands
  From: TiborB, 2018-06-07
• Re: [Merge] lp:~widelands-dev/widelands/frisian_balancing_with_ai_hints into lp:widelands
  From: GunChleoc, 2018-06-07
• Re: [Merge] lp:~widelands-dev/widelands/frisian_balancing_with_ai_hints into lp:widelands
  From: hessenfarmer, 2018-06-07
• [Merge] lp:~widelands-dev/widelands/frisian_balancing_with_ai_hints into lp:widelands
  From: bunnybot, 2018-06-07
• Re: [Merge] lp:~widelands-dev/widelands/frisian_balancing_with_ai_hints into lp:widelands
  From: hessenfarmer, 2018-06-07
• Re: [Merge] lp:~widelands-dev/widelands/frisian_balancing_with_ai_hints into lp:widelands
  From: TiborB, 2018-06-07
• Re: [Merge] lp:~widelands-dev/widelands/frisian_balancing_with_ai_hints into lp:widelands
  From: TiborB, 2018-06-07
• Re: [Merge] lp:~widelands-dev/widelands/frisian_balancing_with_ai_hints into lp:widelands
  From: hessenfarmer, 2018-06-10
• Re: [Merge] lp:~widelands-dev/widelands/frisian_balancing_with_ai_hints into lp:widelands
  From: hessenfarmer, 2018-06-10
• [Merge] lp:~widelands-dev/widelands/frisian_balancing_with_ai_hints into lp:widelands
  From: bunnybot, 2018-06-10
• Re: [Merge] lp:~widelands-dev/widelands/frisian_balancing_with_ai_hints into lp:widelands
  From: TiborB, 2018-06-11
• Re: [Merge] lp:~widelands-dev/widelands/frisian_balancing_with_ai_hints into lp:widelands
  From: hessenfarmer, 2018-06-11
• Re: [Merge] lp:~widelands-dev/widelands/frisian_balancing_with_ai_hints into lp:widelands
  From: TiborB, 2018-06-11
• Re: [Merge] lp:~widelands-dev/widelands/frisian_balancing_with_ai_hints into lp:widelands
  From: hessenfarmer, 2018-06-11
• Re: [Merge] lp:~widelands-dev/widelands/frisian_balancing_with_ai_hints into lp:widelands
  From: TiborB, 2018-06-11
• Re: [Merge] lp:~widelands-dev/widelands/frisian_balancing_with_ai_hints into lp:widelands
  From: TiborB, 2018-06-11
• Re: [Merge] lp:~widelands-dev/widelands/frisian_balancing_with_ai_hints into lp:widelands
  From: hessenfarmer, 2018-06-11
• [Merge] lp:~widelands-dev/widelands/frisian_balancing_with_ai_hints into lp:widelands
  From: bunnybot, 2018-06-11
• [Merge] lp:~widelands-dev/widelands/frisian_balancing_with_ai_hints into lp:widelands
  From: bunnybot, 2018-06-12
• Re: [Merge] lp:~widelands-dev/widelands/frisian_balancing_with_ai_hints into lp:widelands
  From: hessenfarmer, 2018-06-12
• Re: [Merge] lp:~widelands-dev/widelands/frisian_balancing_with_ai_hints into lp:widelands
  From: TiborB, 2018-06-13
• Re: [Merge] lp:~widelands-dev/widelands/frisian_balancing_with_ai_hints into lp:widelands
  From: hessenfarmer, 2018-06-13
• Re: [Merge] lp:~widelands-dev/widelands/frisian_balancing_with_ai_hints into lp:widelands
  From: TiborB, 2018-06-13
• Re: [Merge] lp:~widelands-dev/widelands/frisian_balancing_with_ai_hints into lp:widelands
  From: hessenfarmer, 2018-06-13
• Re: [Merge] lp:~widelands-dev/widelands/frisian_balancing_with_ai_hints into lp:widelands
  From: TiborB, 2018-06-13
• Re: [Merge] lp:~widelands-dev/widelands/frisian_balancing_with_ai_hints into lp:widelands
  From: hessenfarmer, 2018-06-13
• Re: [Merge] lp:~widelands-dev/widelands/frisian_balancing_with_ai_hints into lp:widelands
  From: TiborB, 2018-06-13
• Re: [Merge] lp:~widelands-dev/widelands/frisian_balancing_with_ai_hints into lp:widelands
  From: Klaus Halfmann, 2018-06-14
• Re: [Merge] lp:~widelands-dev/widelands/frisian_balancing_with_ai_hints into lp:widelands
  From: hessenfarmer, 2018-06-14
• Re: [Merge] lp:~widelands-dev/widelands/frisian_balancing_with_ai_hints into lp:widelands
  From: Klaus Halfmann, 2018-06-18
• Re: [Merge] lp:~widelands-dev/widelands/frisian_balancing_with_ai_hints into lp:widelands
  From: Klaus Halfmann, 2018-06-19
• [Merge] lp:~widelands-dev/widelands/frisian_balancing_with_ai_hints into lp:widelands
  From: noreply, 2018-06-19
• [Merge] lp:~widelands-dev/widelands/bug-1645844-game-summary into lp:widelands
  From: GunChleoc, 2018-05-27
• [Merge] lp:~widelands-dev/widelands/bug-1645844-game-summary into lp:widelands
  From: GunChleoc, 2018-05-27
• [Merge] lp:~widelands-dev/widelands/bug-1645844-game-summary into lp:widelands
  From: bunnybot, 2018-05-27
• Re: [Merge] lp:~widelands-dev/widelands/bug-1645844-game-summary into lp:widelands
  From: Notabilis, 2018-05-30
• Re: [Merge] lp:~widelands-dev/widelands/bug-1645844-game-summary into lp:widelands
  From: GunChleoc, 2018-05-31
• Re: [Merge] lp:~widelands-dev/widelands/bug-1645844-game-summary into lp:widelands
  From: Notabilis, 2018-05-31
• Re: [Merge] lp:~widelands-dev/widelands/bug-1645844-game-summary into lp:widelands
  From: GunChleoc, 2018-05-31
• [Merge] lp:~widelands-dev/widelands/bug-1645844-game-summary into lp:widelands
  From: noreply, 2018-05-31
• [Merge] lp:~widelands-dev/widelands/bug-1406298-campvis-file into lp:widelands
  From: GunChleoc, 2018-05-27

 •  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