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/travis-skip-translations-in-debug-builds into lp:widelands, (continued)
  • Re: [Merge] lp:~widelands-dev/widelands/travis-skip-translations-in-debug-builds into lp:widelands
    From: Notabilis, 2018-12-20
  • Re: [Merge] lp:~widelands-dev/widelands/travis-skip-translations-in-debug-builds into lp:widelands
    From: GunChleoc, 2018-12-24
  • [Merge] lp:~widelands-dev/widelands/travis-skip-translations-in-debug-builds into lp:widelands
    From: noreply, 2018-12-24
• [Merge] lp:~widelands-dev/widelands-website/django_staticfiles into lp:widelands-website
  From: kaputtnik, 2018-11-23
• [Merge] lp:~widelands-dev/widelands-website/django_staticfiles into lp:widelands-website
  From: kaputtnik, 2018-11-24
• Re: [Merge] lp:~widelands-dev/widelands-website/django_staticfiles into lp:widelands-website
  From: kaputtnik, 2018-11-24
• Re: [Merge] lp:~widelands-dev/widelands-website/django_staticfiles into lp:widelands-website
  From: kaputtnik, 2018-11-24
• Re: [Merge] lp:~widelands-dev/widelands-website/django_staticfiles into lp:widelands-website
  From: kaputtnik, 2018-11-24
• Re: [Merge] lp:~widelands-dev/widelands-website/django_staticfiles into lp:widelands-website
  From: GunChleoc, 2018-11-25
• Re: [Merge] lp:~widelands-dev/widelands-website/django_staticfiles into lp:widelands-website
  From: kaputtnik, 2018-11-25
• Re: [Merge] lp:~widelands-dev/widelands-website/django_staticfiles into lp:widelands-website
  From: kaputtnik, 2018-11-25
• Re: [Merge] lp:~widelands-dev/widelands-website/django_staticfiles into lp:widelands-website
  From: kaputtnik, 2018-11-25
• [Merge] lp:~widelands-dev/widelands-website/django_staticfiles into lp:widelands-website
  From: kaputtnik, 2018-11-26
• [Merge] lp:~widelands-dev/widelands-website/django_staticfiles into lp:widelands-website
  From: kaputtnik, 2018-11-26
• Re: [Merge] lp:~widelands-dev/widelands-website/django_staticfiles into lp:widelands-website
  From: kaputtnik, 2018-11-27
• [Merge] lp:~widelands-dev/widelands-website/django_staticfiles into lp:widelands-website
  From: kaputtnik, 2018-11-27
• Re: [Merge] lp:~widelands-dev/widelands-website/django_staticfiles into lp:widelands-website
  From: GunChleoc, 2018-11-28
• Re: [Merge] lp:~widelands-dev/widelands-website/django_staticfiles into lp:widelands-website
  From: kaputtnik, 2018-11-28
• [Merge] lp:~widelands-dev/widelands-website/django_staticfiles into lp:widelands-website
  From: noreply, 2018-11-30
• Re: [Merge] lp:~widelands-dev/widelands-website/django_staticfiles into lp:widelands-website
  From: kaputtnik, 2018-11-30
• Re: [Merge] lp:~widelands-dev/widelands-website/django_staticfiles into lp:widelands-website
  From: GunChleoc, 2018-12-05
• [Merge] lp:~widelands-dev/widelands/remove-anti-congestion-algorithm into lp:widelands
  From: GunChleoc, 2018-11-23
• [Merge] lp:~widelands-dev/widelands/remove-anti-congestion-algorithm into lp:widelands
  From: bunnybot, 2018-11-23
• Re: [Merge] lp:~widelands-dev/widelands/remove-anti-congestion-algorithm into lp:widelands
  From: GunChleoc, 2018-11-25
• [Merge] lp:~widelands-dev/widelands/remove-anti-congestion-algorithm into lp:widelands
  From: bunnybot, 2018-11-25
• [Merge] lp:~widelands-dev/widelands/remove-anti-congestion-algorithm into lp:widelands
  From: bunnybot, 2018-11-25
• [Merge] lp:~widelands-dev/widelands/remove-anti-congestion-algorithm into lp:widelands
  From: bunnybot, 2018-11-26
• Re: [Merge] lp:~widelands-dev/widelands/remove-anti-congestion-algorithm into lp:widelands
  From: GunChleoc, 2018-11-26
• [Merge] lp:~widelands-dev/widelands/remove-anti-congestion-algorithm into lp:widelands
  From: noreply, 2018-11-26
• [Merge] lp:~widelands-dev/widelands/bug-1802629-territorial-crash into lp:widelands
  From: GunChleoc, 2018-11-23
• [Merge] lp:~widelands-dev/widelands/bug-1802629-territorial-crash into lp:widelands
  From: bunnybot, 2018-11-23
• Re: [Merge] lp:~widelands-dev/widelands/bug-1802629-territorial-crash into lp:widelands
  From: hessenfarmer, 2018-11-25
• Re: [Merge] lp:~widelands-dev/widelands/bug-1802629-territorial-crash into lp:widelands
  From: GunChleoc, 2018-11-26
• [Merge] lp:~widelands-dev/widelands/bug-1802629-territorial-crash into lp:widelands
  From: GunChleoc, 2018-11-26
• Re: [Merge] lp:~widelands-dev/widelands/bug-1802629-territorial-crash into lp:widelands
  From: hessenfarmer, 2018-11-26
• Re: [Merge] lp:~widelands-dev/widelands/bug-1802629-territorial-crash into lp:widelands
  From: hessenfarmer, 2018-11-26
• Re: [Merge] lp:~widelands-dev/widelands/bug-1802629-territorial-crash into lp:widelands
  From: hessenfarmer, 2018-11-27
• Re: [Merge] lp:~widelands-dev/widelands/bug-1802629-territorial-crash into lp:widelands
  From: hessenfarmer, 2018-12-03
• Re: [Merge] lp:~widelands-dev/widelands/bug-1802629-territorial-crash into lp:widelands
  From: hessenfarmer, 2018-12-03
• Re: [Merge] lp:~widelands-dev/widelands/bug-1802629-territorial-crash into lp:widelands
  From: GunChleoc, 2018-12-05
• Re: [Merge] lp:~widelands-dev/widelands/bug-1802629-territorial-crash into lp:widelands
  From: hessenfarmer, 2018-12-05
• Re: [Merge] lp:~widelands-dev/widelands/bug-1802629-territorial-crash into lp:widelands
  From: GunChleoc, 2018-12-12
• [Merge] lp:~widelands-dev/widelands/bug-1802629-territorial-crash into lp:widelands
  From: GunChleoc, 2018-12-12
• [Merge] lp:~widelands-dev/widelands/bug-1802629-territorial-crash into lp:widelands
  From: bunnybot, 2018-12-13
• [Merge] lp:~widelands-dev/widelands/bug-1802629-territorial-crash into lp:widelands
  From: bunnybot, 2018-12-13
• [Merge] lp:~widelands-dev/widelands/bug-1802629-territorial-crash into lp:widelands
  From: bunnybot, 2018-12-26
• Re: [Merge] lp:~widelands-dev/widelands/bug-1802629-territorial-crash into lp:widelands
  From: Toni Förster, 2018-12-26
• [Merge] lp:~widelands-dev/widelands/bug-1802629-territorial-crash into lp:widelands
  From: noreply, 2018-12-26
• [Merge] lp:~widelands-dev/widelands/lua_AI_fixes into lp:widelands
  From: hessenfarmer, 2018-11-20
• [Merge] lp:~widelands-dev/widelands/lua_AI_fixes into lp:widelands
  From: bunnybot, 2018-11-21
• [Merge] lp:~widelands-dev/widelands/lua_AI_fixes into lp:widelands
  From: GunChleoc, 2018-11-21
• Re: [Merge] lp:~widelands-dev/widelands/lua_AI_fixes into lp:widelands
  From: GunChleoc, 2018-11-21
• [Merge] lp:~widelands-dev/widelands/lua_AI_fixes into lp:widelands
  From: noreply, 2018-11-21
• [Merge] lp:~widelands-dev/widelands-website/remove_djangoratings into lp:widelands-website
  From: kaputtnik, 2018-11-18
• Re: [Merge] lp:~widelands-dev/widelands-website/remove_djangoratings into lp:widelands-website
  From: GunChleoc, 2018-11-19
• Re: [Merge] lp:~widelands-dev/widelands-website/remove_djangoratings into lp:widelands-website
  From: kaputtnik, 2018-11-19
• [Merge] lp:~widelands-dev/widelands-website/remove_djangoratings into lp:widelands-website
  From: noreply, 2018-11-21
• Re: [Merge] lp:~widelands-dev/widelands-website/remove_djangoratings into lp:widelands-website
  From: kaputtnik, 2018-11-21
• Re: [Merge] lp:~widelands-dev/widelands-website/remove_djangoratings into lp:widelands-website
  From: GunChleoc, 2018-11-22
• [Merge] lp:~widelands-dev/widelands-website/replace_djangoratings into lp:widelands-website
  From: kaputtnik, 2018-11-18
• [Merge] lp:~widelands-dev/widelands-website/replace_djangoratings into lp:widelands-website
  From: kaputtnik, 2018-11-18
• [Merge] lp:~widelands-dev/widelands-website/replace_djangoratings into lp:widelands-website
  From: kaputtnik, 2018-11-18
• Re: [Merge] lp:~widelands-dev/widelands-website/replace_djangoratings into lp:widelands-website
  From: GunChleoc, 2018-11-19
• [Merge] lp:~widelands-dev/widelands-website/replace_djangoratings into lp:widelands-website
  From: noreply, 2018-11-19
• Re: [Merge] lp:~widelands-dev/widelands-website/replace_djangoratings into lp:widelands-website
  From: kaputtnik, 2018-11-19
• [Merge] lp:~widelands-dev/widelands-website/hidden_topics into lp:widelands-website
  From: kaputtnik, 2018-11-17
• Re: [Merge] lp:~widelands-dev/widelands-website/hidden_topics into lp:widelands-website
  From: GunChleoc, 2018-11-18
• [Merge] lp:~widelands-dev/widelands-website/hidden_topics into lp:widelands-website
  From: noreply, 2018-11-18
• Re: [Merge] lp:~widelands-dev/widelands-website/hidden_topics into lp:widelands-website
  From: kaputtnik, 2018-11-18
• [Merge] lp:~widelands-dev/widelands/bug-1803602-reveal-frisian-campaign into lp:widelands
  From: GunChleoc, 2018-11-16
• Re: [Merge] lp:~widelands-dev/widelands/bug-1803602-reveal-frisian-campaign into lp:widelands
  From: hessenfarmer, 2018-11-16
• [Merge] lp:~widelands-dev/widelands/bug-1803602-reveal-frisian-campaign into lp:widelands
  From: bunnybot, 2018-11-16
• Re: [Merge] lp:~widelands-dev/widelands/bug-1803602-reveal-frisian-campaign into lp:widelands
  From: GunChleoc, 2018-11-17
• Re: [Merge] lp:~widelands-dev/widelands/bug-1803602-reveal-frisian-campaign into lp:widelands
  From: hessenfarmer, 2018-11-17
• [Merge] lp:~widelands-dev/widelands/bug-1803602-reveal-frisian-campaign into lp:widelands
  From: GunChleoc, 2018-11-19
• Re: [Merge] lp:~widelands-dev/widelands/bug-1803602-reveal-frisian-campaign into lp:widelands
  From: GunChleoc, 2018-11-19
• Re: [Merge] lp:~widelands-dev/widelands/bug-1803602-reveal-frisian-campaign into lp:widelands
  From: hessenfarmer, 2018-11-19
• Re: [Merge] lp:~widelands-dev/widelands/bug-1803602-reveal-frisian-campaign into lp:widelands
  From: GunChleoc, 2018-11-19
• [Merge] lp:~widelands-dev/widelands/bug-1803602-reveal-frisian-campaign into lp:widelands
  From: noreply, 2018-11-19
• [Merge] lp:~widelands-dev/widelands/new-wheatfield-graphics-by-fraang into lp:widelands
  From: GunChleoc, 2018-11-16
• [Merge] lp:~widelands-dev/widelands/new-wheatfield-graphics-by-fraang into lp:widelands
  From: bunnybot, 2018-11-16
• Re: [Merge] lp:~widelands-dev/widelands/new-wheatfield-graphics-by-fraang into lp:widelands
  From: GunChleoc, 2018-11-19
• [Merge] lp:~widelands-dev/widelands/new-wheatfield-graphics-by-fraang into lp:widelands
  From: noreply, 2018-11-19
• [Merge] lp:~widelands-dev/widelands/handling-various-fs-errors into lp:widelands
  From: Arty, 2018-11-14
• Re: [Merge] lp:~widelands-dev/widelands/handling-various-fs-errors into lp:widelands
  From: Arty, 2018-11-14
• [Merge] lp:~widelands-dev/widelands/handling-various-fs-errors into lp:widelands
  From: bunnybot, 2018-11-14
• Re: [Merge] lp:~widelands-dev/widelands/handling-various-fs-errors into lp:widelands
  From: GunChleoc, 2018-11-15
• Re: [Merge] lp:~widelands-dev/widelands/handling-various-fs-errors into lp:widelands
  From: Arty, 2018-11-15
• Re: [Merge] lp:~widelands-dev/widelands/handling-various-fs-errors into lp:widelands
  From: GunChleoc, 2018-11-18
• Re: [Merge] lp:~widelands-dev/widelands/handling-various-fs-errors into lp:widelands
  From: GunChleoc, 2018-11-19
• Re: [Merge] lp:~widelands-dev/widelands/handling-various-fs-errors into lp:widelands
  From: GunChleoc, 2018-11-19
• Re: [Merge] lp:~widelands-dev/widelands/handling-various-fs-errors into lp:widelands
  From: GunChleoc, 2018-11-23
• [Merge] lp:~widelands-dev/widelands/handling-various-fs-errors into lp:widelands
  From: GunChleoc, 2018-11-23
• [Merge] lp:~widelands-dev/widelands/handling-various-fs-errors into lp:widelands
  From: GunChleoc, 2018-11-23
• [Merge] lp:~widelands-dev/widelands/handling-various-fs-errors into lp:widelands
  From: noreply, 2018-11-23
• [Merge] lp:~widelands-dev/widelands/fix-language-entry-ms into lp:widelands
  From: Arty, 2018-11-10
• Re: [Merge] lp:~widelands-dev/widelands/fix-language-entry-ms into lp:widelands
  From: Arty, 2018-11-10
• [Merge] lp:~widelands-dev/widelands/fix-language-entry-ms into lp:widelands
  From: bunnybot, 2018-11-10
• Re: [Merge] lp:~widelands-dev/widelands/fix-language-entry-ms into lp:widelands
  From: GunChleoc, 2018-11-11
• [Merge] lp:~widelands-dev/widelands/fix-language-entry-ms into lp:widelands
  From: bunnybot, 2018-11-11
• Re: [Merge] lp:~widelands-dev/widelands/fix-language-entry-ms into lp:widelands
  From: GunChleoc, 2018-11-12
• [Merge] lp:~widelands-dev/widelands/fix-language-entry-ms into lp:widelands
  From: noreply, 2018-11-12
• [Merge] lp:~widelands-dev/widelands/RTL-alignment-fix into lp:widelands
  From: Arty, 2018-11-10
• [Merge] lp:~widelands-dev/widelands/RTL-alignment-fix into lp:widelands
  From: bunnybot, 2018-11-11
• Re: [Merge] lp:~widelands-dev/widelands/RTL-alignment-fix into lp:widelands
  From: GunChleoc, 2018-11-11
• Re: [Merge] lp:~widelands-dev/widelands/RTL-alignment-fix into lp:widelands
  From: Arty, 2018-11-11
• Re: [Merge] lp:~widelands-dev/widelands/RTL-alignment-fix into lp:widelands
  From: GunChleoc, 2018-11-14
• [Merge] lp:~widelands-dev/widelands/RTL-alignment-fix into lp:widelands
  From: noreply, 2018-11-14
• [Merge] lp:~widelands-dev/widelands/bugfix-1801208 into lp:widelands
  From: Arty, 2018-11-10
• [Merge] lp:~widelands-dev/widelands/bugfix-1801208 into lp:widelands
  From: bunnybot, 2018-11-10
• [Merge] lp:~widelands-dev/widelands/bugfix-1801208 into lp:widelands
  From: GunChleoc, 2018-11-11
• Re: [Merge] lp:~widelands-dev/widelands/bugfix-1801208 into lp:widelands
  From: GunChleoc, 2018-11-14
• [Merge] lp:~widelands-dev/widelands/bugfix-1801208 into lp:widelands
  From: bunnybot, 2018-11-14
• Re: [Merge] lp:~widelands-dev/widelands/bugfix-1801208 into lp:widelands
  From: GunChleoc, 2018-11-15
• [Merge] lp:~widelands-dev/widelands/bugfix-1801208 into lp:widelands
  From: noreply, 2018-11-15
• [Merge] lp:~widelands-dev/widelands-website/update_beautifulsoup4 into lp:widelands-website
  From: kaputtnik, 2018-11-09
• Re: [Merge] lp:~widelands-dev/widelands-website/update_beautifulsoup4 into lp:widelands-website
  From: GunChleoc, 2018-11-12
• Re: [Merge] lp:~widelands-dev/widelands-website/update_beautifulsoup4 into lp:widelands-website
  From: kaputtnik, 2018-11-12
• [Merge] lp:~widelands-dev/widelands-website/update_beautifulsoup4 into lp:widelands-website
  From: noreply, 2018-11-18
• Re: [Merge] lp:~widelands-dev/widelands-website/update_beautifulsoup4 into lp:widelands-website
  From: kaputtnik, 2018-11-18
• [Merge] lp:~widelands-dev/widelands/ai_wai_files_09112018 into lp:widelands
  From: TiborB, 2018-11-09
• [Merge] lp:~widelands-dev/widelands/ai_wai_files_09112018 into lp:widelands
  From: bunnybot, 2018-11-10
• Re: [Merge] lp:~widelands-dev/widelands/ai_wai_files_09112018 into lp:widelands
  From: GunChleoc, 2018-11-12
• [Merge] lp:~widelands-dev/widelands/ai_wai_files_09112018 into lp:widelands
  From: noreply, 2018-11-12
• [Merge] lp:~widelands-dev/widelands/number_of_cpus_as_option into lp:widelands
  From: GunChleoc, 2018-11-08
• Re: [Merge] lp:~widelands-dev/widelands/number_of_cpus_as_option into lp:widelands
  From: Toni Förster, 2018-11-08
• [Merge] lp:~widelands-dev/widelands/number_of_cpus_as_option into lp:widelands
  From: bunnybot, 2018-11-09
• [Merge] lp:~widelands-dev/widelands/number_of_cpus_as_option into lp:widelands
  From: noreply, 2018-11-09
• [Merge] lp:~widelands-dev/widelands/robust-file-saving into lp:widelands
  From: Arty, 2018-11-08
• [Merge] lp:~widelands-dev/widelands/robust-file-saving into lp:widelands
  From: bunnybot, 2018-11-09
• <Possible follow-ups>
• [Merge] lp:~widelands-dev/widelands/robust-file-saving into lp:widelands
  From: Arty, 2018-11-13
• [Merge] lp:~widelands-dev/widelands/robust-file-saving into lp:widelands
  From: bunnybot, 2018-11-13
• Re: [Merge] lp:~widelands-dev/widelands/robust-file-saving into lp:widelands
  From: GunChleoc, 2018-11-15
• Re: [Merge] lp:~widelands-dev/widelands/robust-file-saving into lp:widelands
  From: Arty, 2018-11-15
• Re: [Merge] lp:~widelands-dev/widelands/robust-file-saving into lp:widelands
  From: Arty, 2018-11-17
• [Merge] lp:~widelands-dev/widelands/robust-file-saving into lp:widelands
  From: bunnybot, 2018-11-17
• Re: [Merge] lp:~widelands-dev/widelands/robust-file-saving into lp:widelands
  From: Arty, 2018-11-17
• [Merge] lp:~widelands-dev/widelands/robust-file-saving into lp:widelands
  From: bunnybot, 2018-11-25
• Re: [Merge] lp:~widelands-dev/widelands/robust-file-saving into lp:widelands
  From: GunChleoc, 2018-11-26
• [Merge] lp:~widelands-dev/widelands/robust-file-saving into lp:widelands
  From: bunnybot, 2018-11-26
• [Merge] lp:~widelands-dev/widelands/robust-file-saving into lp:widelands
  From: Arty, 2018-11-28
• Re: [Merge] lp:~widelands-dev/widelands/robust-file-saving into lp:widelands
  From: Klaus Halfmann, 2018-12-24
• Re: [Merge] lp:~widelands-dev/widelands/robust-file-saving into lp:widelands
  From: Klaus Halfmann, 2018-12-25
• Re: [Merge] lp:~widelands-dev/widelands/robust-file-saving into lp:widelands
  From: Arty, 2018-12-26
• Re: [Merge] lp:~widelands-dev/widelands/robust-file-saving into lp:widelands
  From: Klaus Halfmann, 2019-01-19
• [Merge] lp:~widelands-dev/widelands/robust-file-saving into lp:widelands
  From: bunnybot, 2019-01-20
• Re: [Merge] lp:~widelands-dev/widelands/robust-file-saving into lp:widelands
  From: Klaus Halfmann, 2019-01-22
• Re: [Merge] lp:~widelands-dev/widelands/robust-file-saving into lp:widelands
  From: Klaus Halfmann, 2019-01-25
• Re: [Merge] lp:~widelands-dev/widelands/robust-file-saving into lp:widelands
  From: Arty, 2019-01-31
• Re: [Merge] lp:~widelands-dev/widelands/robust-file-saving into lp:widelands
  From: GunChleoc, 2019-02-09
• Re: [Merge] lp:~widelands-dev/widelands/robust-file-saving into lp:widelands
  From: Klaus Halfmann, 2019-02-17
• Re: [Merge] lp:~widelands-dev/widelands/robust-file-saving into lp:widelands
  From: GunChleoc, 2019-02-18
• [Merge] lp:~widelands-dev/widelands/robust-file-saving into lp:widelands
  From: bunnybot, 2019-02-20
• Re: [Merge] lp:~widelands-dev/widelands/robust-file-saving into lp:widelands
  From: GunChleoc, 2019-02-23
• [Merge] lp:~widelands-dev/widelands/robust-file-saving into lp:widelands
  From: bunnybot, 2019-02-23
• Re: [Merge] lp:~widelands-dev/widelands/robust-file-saving into lp:widelands
  From: GunChleoc, 2019-02-23
• [Merge] lp:~widelands-dev/widelands/robust-file-saving into lp:widelands
  From: noreply, 2019-02-23
• [Merge] lp:~widelands-dev/widelands/bug-1800337-unlocalize-log into lp:widelands
  From: GunChleoc, 2018-11-07
• [Merge] lp:~widelands-dev/widelands/bug-1800337-unlocalize-log into lp:widelands
  From: bunnybot, 2018-11-09
• Re: [Merge] lp:~widelands-dev/widelands/bug-1800337-unlocalize-log into lp:widelands
  From: Toni Förster, 2018-11-09
• Re: [Merge] lp:~widelands-dev/widelands/bug-1800337-unlocalize-log into lp:widelands
  From: GunChleoc, 2018-11-10
• [Merge] lp:~widelands-dev/widelands/bug-1800337-unlocalize-log into lp:widelands
  From: noreply, 2018-11-10
• [Merge] lp:~widelands-dev/widelands/bug-1800814-update-script into lp:widelands
  From: GunChleoc, 2018-11-07
• Re: [Merge] lp:~widelands-dev/widelands/bug-1800814-update-script into lp:widelands
  From: Klaus Halfmann, 2018-11-07
• Re: [Merge] lp:~widelands-dev/widelands/bug-1800814-update-script into lp:widelands
  From: Klaus Halfmann, 2018-11-07
• [Merge] lp:~widelands-dev/widelands/bug-1800814-update-script into lp:widelands
  From: noreply, 2018-11-08
• [Merge] lp:~widelands-dev/widelands/bug_1801340_loading_screen into lp:widelands
  From: Toni Förster, 2018-11-06
• Re: [Merge] lp:~widelands-dev/widelands/bug_1801340_loading_screen into lp:widelands
  From: Benedikt Straub, 2018-11-06
• Re: [Merge] lp:~widelands-dev/widelands/bug_1801340_loading_screen into lp:widelands
  From: Toni Förster, 2018-11-06
• Re: [Merge] lp:~widelands-dev/widelands/bug_1801340_loading_screen into lp:widelands
  From: Toni Förster, 2018-11-06
• Re: [Merge] lp:~widelands-dev/widelands/bug_1801340_loading_screen into lp:widelands
  From: Benedikt Straub, 2018-11-06
• Re: [Merge] lp:~widelands-dev/widelands/bug_1801340_loading_screen into lp:widelands
  From: GunChleoc, 2018-11-06
• Re: [Merge] lp:~widelands-dev/widelands/bug_1801340_loading_screen into lp:widelands
  From: Toni Förster, 2018-11-06
• [Merge] lp:~widelands-dev/widelands/bug_1801340_loading_screen into lp:widelands
  From: Toni Förster, 2018-11-06
• Re: [Merge] lp:~widelands-dev/widelands/bug_1801340_loading_screen into lp:widelands
  From: Toni Förster, 2018-11-06
• Re: [Merge] lp:~widelands-dev/widelands/bug_1801340_loading_screen into lp:widelands
  From: GunChleoc, 2018-11-06
• [Merge] lp:~widelands-dev/widelands/bug_1801340_loading_screen into lp:widelands
  From: noreply, 2018-11-08
• [Merge] lp:~widelands-dev/widelands/bug-1800818 into lp:widelands
  From: TiborB, 2018-11-06
• Re: [Merge] lp:~widelands-dev/widelands/bug-1800818 into lp:widelands
  From: GunChleoc, 2018-11-06
• [Merge] lp:~widelands-dev/widelands/bug-1800818 into lp:widelands
  From: GunChleoc, 2018-11-06
• [Merge] lp:~widelands-dev/widelands/bug-1800818 into lp:widelands
  From: noreply, 2018-11-08
• [Merge] lp:~widelands-dev/widelands/bug-1798297-locale-C into lp:widelands
  From: GunChleoc, 2018-11-06
• [Merge] lp:~widelands-dev/widelands/bug-1798297-locale-C into lp:widelands
  From: bunnybot, 2018-11-09
• [Merge] lp:~widelands-dev/widelands/bug-1798297-locale-C into lp:widelands
  From: bunnybot, 2018-11-16
• Re: [Merge] lp:~widelands-dev/widelands/bug-1798297-locale-C into lp:widelands
  From: Arty, 2018-11-19
• Re: [Merge] lp:~widelands-dev/widelands/bug-1798297-locale-C into lp:widelands
  From: GunChleoc, 2018-11-20
• [Merge] lp:~widelands-dev/widelands/bug-1798297-locale-C into lp:widelands
  From: bunnybot, 2018-11-20
• Re: [Merge] lp:~widelands-dev/widelands/bug-1798297-locale-C into lp:widelands
  From: GunChleoc, 2018-11-24
• [Merge] lp:~widelands-dev/widelands/bug-1798297-locale-C into lp:widelands
  From: noreply, 2018-11-24
• [Merge] lp:~widelands-dev/widelands/bug-1801767-tutorial2-ai into lp:widelands
  From: GunChleoc, 2018-11-06
• [Merge] lp:~widelands-dev/widelands/bug-1801767-tutorial2-ai into lp:widelands
  From: bunnybot, 2018-11-09
• Re: [Merge] lp:~widelands-dev/widelands/bug-1801767-tutorial2-ai into lp:widelands
  From: hessenfarmer, 2018-11-20
• Re: [Merge] lp:~widelands-dev/widelands/bug-1801767-tutorial2-ai into lp:widelands
  From: GunChleoc, 2018-11-20
• Re: [Merge] lp:~widelands-dev/widelands/bug-1801767-tutorial2-ai into lp:widelands
  From: hessenfarmer, 2018-11-20
• Re: [Merge] lp:~widelands-dev/widelands/bug-1801767-tutorial2-ai into lp:widelands
  From: hessenfarmer, 2018-11-20
• Re: [Merge] lp:~widelands-dev/widelands/bug-1801767-tutorial2-ai into lp:widelands
  From: GunChleoc, 2018-11-21
• [Merge] lp:~widelands-dev/widelands/bug-1801767-tutorial2-ai into lp:widelands
  From: noreply, 2018-11-21
• [Merge] lp:~widelands-dev/widelands/bug-1801767-tutorial2-ai into lp:widelands
  From: bunnybot, 2018-11-21
• [Merge] lp:~widelands-dev/widelands/bug-1769426-libreadline into lp:widelands
  From: GunChleoc, 2018-11-06
• [Merge] lp:~widelands-dev/widelands/bug-1769426-libreadline into lp:widelands
  From: bunnybot, 2018-11-10

 •  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