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_1794339_center_wo_parent into lp:widelands, (continued)
  • [Merge] lp:~widelands-dev/widelands/bug_1794339_center_wo_parent into lp:widelands
    From: Klaus Halfmann, 2018-09-30
  • Re: [Merge] lp:~widelands-dev/widelands/bug_1794339_center_wo_parent into lp:widelands
    From: GunChleoc, 2018-09-30
  • Re: [Merge] lp:~widelands-dev/widelands/bug_1794339_center_wo_parent into lp:widelands
    From: Klaus Halfmann, 2018-10-02
  • Re: [Merge] lp:~widelands-dev/widelands/bug_1794339_center_wo_parent into lp:widelands
    From: GunChleoc, 2018-10-03
  • Re: [Merge] lp:~widelands-dev/widelands/bug_1794339_center_wo_parent into lp:widelands
    From: Klaus Halfmann, 2018-10-05
  • [Merge] lp:~widelands-dev/widelands/bug_1794339_center_wo_parent into lp:widelands
    From: bunnybot, 2018-10-06
  • [Merge] lp:~widelands-dev/widelands/bug_1794339_center_wo_parent into lp:widelands
    From: Klaus Halfmann, 2018-10-06
  • [Merge] lp:~widelands-dev/widelands/bug_1794339_center_wo_parent into lp:widelands
    From: Klaus Halfmann, 2018-10-06
  • [Merge] lp:~widelands-dev/widelands/bug_1794339_center_wo_parent into lp:widelands
    From: bunnybot, 2018-10-06
  • Re: [Merge] lp:~widelands-dev/widelands/bug_1794339_center_wo_parent into lp:widelands
    From: GunChleoc, 2018-10-09
  • [Merge] lp:~widelands-dev/widelands/bug_1794339_center_wo_parent into lp:widelands
    From: noreply, 2018-10-09
• [Build #15495299] amd64 build of widelands 1:19-ppa0-bzr8859-201809290603~ubuntu14.04.1 in ubuntu trusty RELEASE [~widelands-dev/ubuntu/widelands-daily]
  From: Launchpad Buildd System, 2018-09-29
• [Build #15495300] i386 build of widelands 1:19-ppa0-bzr8859-201809290603~ubuntu14.04.1 in ubuntu trusty RELEASE [~widelands-dev/ubuntu/widelands-daily]
  From: Launchpad Buildd System, 2018-09-29
• [Merge] lp:~widelands-dev/widelands/bug-1759857-territorial-lord into lp:widelands
  From: GunChleoc, 2018-09-28
• [Merge] lp:~widelands-dev/widelands/bug-1759857-territorial-lord into lp:widelands
  From: GunChleoc, 2018-09-28
• [Merge] lp:~widelands-dev/widelands/bug-1759857-territorial-lord into lp:widelands
  From: bunnybot, 2018-09-29
• Re: [Merge] lp:~widelands-dev/widelands/bug-1759857-territorial-lord into lp:widelands
  From: Klaus Halfmann, 2018-10-14
• Re: [Merge] lp:~widelands-dev/widelands/bug-1759857-territorial-lord into lp:widelands
  From: Notabilis, 2018-10-14
• Re: [Merge] lp:~widelands-dev/widelands/bug-1759857-territorial-lord into lp:widelands
  From: GunChleoc, 2018-10-16
• Re: [Merge] lp:~widelands-dev/widelands/bug-1759857-territorial-lord into lp:widelands
  From: Notabilis, 2018-10-16
• Re: [Merge] lp:~widelands-dev/widelands/bug-1759857-territorial-lord into lp:widelands
  From: GunChleoc, 2018-10-16
• [Merge] lp:~widelands-dev/widelands/bug-1759857-territorial-lord into lp:widelands
  From: noreply, 2018-10-16
• [Merge] lp:~widelands-dev/widelands/fri-01-02-improvements into lp:widelands
  From: Benedikt Straub, 2018-09-28
• [Merge] lp:~widelands-dev/widelands/fri-01-02-improvements into lp:widelands
  From: bunnybot, 2018-09-29
• Re: [Merge] lp:~widelands-dev/widelands/fri-01-02-improvements into lp:widelands
  From: GunChleoc, 2018-09-29
• Re: [Merge] lp:~widelands-dev/widelands/fri-01-02-improvements into lp:widelands
  From: Benedikt Straub, 2018-09-29
• Re: [Merge] lp:~widelands-dev/widelands/fri-01-02-improvements into lp:widelands
  From: GunChleoc, 2018-09-29
• Re: [Merge] lp:~widelands-dev/widelands/fri-01-02-improvements into lp:widelands
  From: hessenfarmer, 2018-10-02
• Re: [Merge] lp:~widelands-dev/widelands/fri-01-02-improvements into lp:widelands
  From: hessenfarmer, 2018-10-02
• [Merge] lp:~widelands-dev/widelands/fri-01-02-improvements into lp:widelands
  From: noreply, 2018-10-02
• Re: [Merge] lp:~widelands-dev/widelands/fri-01-02-improvements into lp:widelands
  From: GunChleoc, 2018-10-03
• [Merge] lp:~widelands-dev/widelands/bug-1794924-logger-assert into lp:widelands
  From: GunChleoc, 2018-09-28
• [Merge] lp:~widelands-dev/widelands/bug-1794924-logger-assert into lp:widelands
  From: bunnybot, 2018-09-28
• Re: [Merge] lp:~widelands-dev/widelands/bug-1794924-logger-assert into lp:widelands
  From: Notabilis, 2018-10-08
• Re: [Merge] lp:~widelands-dev/widelands/bug-1794924-logger-assert into lp:widelands
  From: GunChleoc, 2018-10-09
• [Merge] lp:~widelands-dev/widelands/bug-1794924-logger-assert into lp:widelands
  From: noreply, 2018-10-09
• [Merge] lp:~widelands-dev/widelands/bug-1536377-fail-gracefully-on-graphics-driver-problems into lp:widelands
  From: GunChleoc, 2018-09-27
• [Merge] lp:~widelands-dev/widelands/bug-1536377-fail-gracefully-on-graphics-driver-problems into lp:widelands
  From: bunnybot, 2018-09-27
• Re: [Merge] lp:~widelands-dev/widelands/bug-1536377-fail-gracefully-on-graphics-driver-problems into lp:widelands
  From: Notabilis, 2018-10-08
• Re: [Merge] lp:~widelands-dev/widelands/bug-1536377-fail-gracefully-on-graphics-driver-problems into lp:widelands
  From: GunChleoc, 2018-10-09
• [Merge] lp:~widelands-dev/widelands/bug-1536377-fail-gracefully-on-graphics-driver-problems into lp:widelands
  From: bunnybot, 2018-10-09
• [Merge] lp:~widelands-dev/widelands/bug-1536377-fail-gracefully-on-graphics-driver-problems into lp:widelands
  From: noreply, 2018-10-09
• [Merge] lp:~widelands-dev/widelands/cmake_errors_WL_VERSION into lp:widelands
  From: Toni Förster, 2018-09-26
• [Merge] lp:~widelands-dev/widelands/cmake_errors_WL_VERSION into lp:widelands
  From: bunnybot, 2018-09-27
• Re: [Merge] lp:~widelands-dev/widelands/cmake_errors_WL_VERSION into lp:widelands
  From: Tino, 2018-09-27
• Re: [Merge] lp:~widelands-dev/widelands/cmake_errors_WL_VERSION into lp:widelands
  From: GunChleoc, 2018-09-27
• Re: [Merge] lp:~widelands-dev/widelands/cmake_errors_WL_VERSION into lp:widelands
  From: Toni Förster, 2018-09-27
• Re: [Merge] lp:~widelands-dev/widelands/cmake_errors_WL_VERSION into lp:widelands
  From: GunChleoc, 2018-09-28
• Re: [Merge] lp:~widelands-dev/widelands/cmake_errors_WL_VERSION into lp:widelands
  From: GunChleoc, 2018-09-28
• [Merge] lp:~widelands-dev/widelands/cmake_errors_WL_VERSION into lp:widelands
  From: noreply, 2018-09-28
• [Merge] lp:~widelands-dev/widelands/bug-1791426-multiplayer-map-change into lp:widelands
  From: GunChleoc, 2018-09-26
• [Merge] lp:~widelands-dev/widelands/bug-1791426-multiplayer-map-change into lp:widelands
  From: bunnybot, 2018-09-26
• Re: [Merge] lp:~widelands-dev/widelands/bug-1791426-multiplayer-map-change into lp:widelands
  From: Klaus Halfmann, 2018-10-06
• [Merge] lp:~widelands-dev/widelands/bug-1791426-multiplayer-map-change into lp:widelands
  From: noreply, 2018-10-06
• [Merge] lp:~gunchleoc/widelands/translation_validation_folder_structure into lp:widelands
  From: GunChleoc, 2018-09-25
• Re: [Merge] lp:~gunchleoc/widelands/translation_validation_folder_structure into lp:widelands
  From: GunChleoc, 2018-09-25
• [Merge] lp:~gunchleoc/widelands/translation_validation_folder_structure into lp:widelands
  From: GunChleoc, 2018-09-25
• <Possible follow-ups>
• [Merge] lp:~gunchleoc/widelands/translation_validation_folder_structure into lp:widelands
  From: GunChleoc, 2018-09-26
• [Merge] lp:~gunchleoc/widelands/translation_validation_folder_structure into lp:widelands
  From: bunnybot, 2018-09-26
• [Merge] lp:~gunchleoc/widelands/translation_validation_folder_structure into lp:widelands
  From: noreply, 2018-09-26
• [Merge] lp:~widelands-dev/widelands/resis-have-no-owner into lp:widelands
  From: GunChleoc, 2018-09-25
• Re: [Merge] lp:~widelands-dev/widelands/resis-have-no-owner into lp:widelands
  From: Benedikt Straub, 2018-09-25
• [Merge] lp:~widelands-dev/widelands/resis-have-no-owner into lp:widelands
  From: GunChleoc, 2018-09-25
• Re: [Merge] lp:~widelands-dev/widelands/resis-have-no-owner into lp:widelands
  From: GunChleoc, 2018-09-25
• [Merge] lp:~widelands-dev/widelands/detect_revision_update into lp:widelands
  From: Tino, 2018-09-25
• Re: [Merge] lp:~widelands-dev/widelands/detect_revision_update into lp:widelands
  From: GunChleoc, 2018-09-25
• [Merge] lp:~widelands-dev/widelands/detect_revision_update into lp:widelands
  From: bunnybot, 2018-09-26
• Re: [Merge] lp:~widelands-dev/widelands/detect_revision_update into lp:widelands
  From: GunChleoc, 2018-09-27
• Re: [Merge] lp:~widelands-dev/widelands/detect_revision_update into lp:widelands
  From: Tino, 2018-09-27
• Re: [Merge] lp:~widelands-dev/widelands/detect_revision_update into lp:widelands
  From: Tino, 2018-09-28
• Re: [Merge] lp:~widelands-dev/widelands/detect_revision_update into lp:widelands
  From: GunChleoc, 2018-09-29
• [Merge] lp:~widelands-dev/widelands/detect_revision_update into lp:widelands
  From: noreply, 2018-09-29
• [Merge] lp:~widelands-dev/widelands/remove_duplicate_code into lp:widelands
  From: Tino, 2018-09-25
• Re: [Merge] lp:~widelands-dev/widelands/remove_duplicate_code into lp:widelands
  From: GunChleoc, 2018-09-25
• [Merge] lp:~widelands-dev/widelands/remove_duplicate_code into lp:widelands
  From: bunnybot, 2018-09-26
• [Merge] lp:~widelands-dev/widelands/remove_duplicate_code into lp:widelands
  From: noreply, 2018-09-26
• Re: [Merge] lp:~widelands-dev/widelands/remove_duplicate_code into lp:widelands
  From: Tino, 2018-09-26
• Re: [Merge] lp:~widelands-dev/widelands/remove_duplicate_code into lp:widelands
  From: GunChleoc, 2018-09-26
• Re: [Merge] lp:~widelands-dev/widelands/remove_duplicate_code into lp:widelands
  From: Benedikt Straub, 2018-09-26
• Re: [Merge] lp:~widelands-dev/widelands/remove_duplicate_code into lp:widelands
  From: Toni Förster, 2018-09-26
• Re: [Merge] lp:~widelands-dev/widelands/remove_duplicate_code into lp:widelands
  From: Toni Förster, 2018-09-26
• Re: [Merge] lp:~widelands-dev/widelands/remove_duplicate_code into lp:widelands
  From: Toni Förster, 2018-09-26
• [Merge] lp:~widelands-dev/widelands/empire-string-fix into lp:widelands
  From: hessenfarmer, 2018-09-24
• Re: [Merge] lp:~widelands-dev/widelands/empire-string-fix into lp:widelands
  From: GunChleoc, 2018-09-25
• [Merge] lp:~widelands-dev/widelands/empire-string-fix into lp:widelands
  From: bunnybot, 2018-09-25
• [Merge] lp:~widelands-dev/widelands/empire-string-fix into lp:widelands
  From: noreply, 2018-09-25
• [Merge] lp:~widelands-dev/widelands/sphinx_1_8_1 into lp:widelands
  From: GunChleoc, 2018-09-24
• [Merge] lp:~widelands-dev/widelands/sphinx_1_8_1 into lp:widelands
  From: bunnybot, 2018-09-25
• Re: [Merge] lp:~widelands-dev/widelands/sphinx_1_8_1 into lp:widelands
  From: hessenfarmer, 2018-09-25
• [Merge] lp:~widelands-dev/widelands/sphinx_1_8_1 into lp:widelands
  From: noreply, 2018-09-25
• [Merge] lp:~widelands-dev/widelands/remove-broken-splashscreen-skip into lp:widelands
  From: GunChleoc, 2018-09-24
• Re: [Merge] lp:~widelands-dev/widelands/remove-broken-splashscreen-skip into lp:widelands
  From: GunChleoc, 2018-09-24
• Re: [Merge] lp:~widelands-dev/widelands/remove-broken-splashscreen-skip into lp:widelands
  From: GunChleoc, 2018-09-25
• [Merge] lp:~widelands-dev/widelands/remove-broken-splashscreen-skip into lp:widelands
  From: bunnybot, 2018-09-25
• [Merge] lp:~widelands-dev/widelands/remove-broken-splashscreen-skip into lp:widelands
  From: bunnybot, 2018-09-25
• Re: [Merge] lp:~widelands-dev/widelands/remove-broken-splashscreen-skip into lp:widelands
  From: GunChleoc, 2018-09-25
• [Merge] lp:~widelands-dev/widelands/remove-broken-splashscreen-skip into lp:widelands
  From: noreply, 2018-09-25
• [Merge] lp:~widelands-dev/widelands/fix-travis into lp:widelands
  From: hessenfarmer, 2018-09-23
• Re: [Merge] lp:~widelands-dev/widelands/fix-travis into lp:widelands
  From: kaputtnik, 2018-09-23
• [Merge] lp:~widelands-dev/widelands/fix-travis into lp:widelands
  From: bunnybot, 2018-09-23
• [Merge] lp:~widelands-dev/widelands/fix-travis into lp:widelands
  From: noreply, 2018-09-23
• Re: [Merge] lp:~widelands-dev/widelands/fix-travis into lp:widelands
  From: hessenfarmer, 2018-09-24
• [Merge] lp:~widelands-dev/widelands/immovable-grow-owner into lp:widelands
  From: Benedikt Straub, 2018-09-22
• [Merge] lp:~widelands-dev/widelands/immovable-grow-owner into lp:widelands
  From: bunnybot, 2018-09-22
• Re: [Merge] lp:~widelands-dev/widelands/immovable-grow-owner into lp:widelands
  From: Benedikt Straub, 2018-09-23
• Re: [Merge] lp:~widelands-dev/widelands/immovable-grow-owner into lp:widelands
  From: GunChleoc, 2018-09-24
• [Merge] lp:~widelands-dev/widelands/immovable-grow-owner into lp:widelands
  From: bunnybot, 2018-09-24
• [Merge] lp:~widelands-dev/widelands/immovable-grow-owner into lp:widelands
  From: noreply, 2018-09-24
• [Merge] lp:~widelands-dev/widelands/frisian_balancing_2 into lp:widelands
  From: hessenfarmer, 2018-09-19
• [Merge] lp:~widelands-dev/widelands/frisian_balancing_2 into lp:widelands
  From: hessenfarmer, 2018-09-19
• [Merge] lp:~widelands-dev/widelands/frisian_balancing_2 into lp:widelands
  From: hessenfarmer, 2018-09-19
• [Merge] lp:~widelands-dev/widelands/frisian_balancing_2 into lp:widelands
  From: bunnybot, 2018-09-20
• Re: [Merge] lp:~widelands-dev/widelands/frisian_balancing_2 into lp:widelands
  From: GunChleoc, 2018-09-26
• Re: [Merge] lp:~widelands-dev/widelands/frisian_balancing_2 into lp:widelands
  From: hessenfarmer, 2018-09-27
• Re: [Merge] lp:~widelands-dev/widelands/frisian_balancing_2 into lp:widelands
  From: GunChleoc, 2018-09-27
• Re: [Merge] lp:~widelands-dev/widelands/frisian_balancing_2 into lp:widelands
  From: Benedikt Straub, 2018-09-27
• Re: [Merge] lp:~widelands-dev/widelands/frisian_balancing_2 into lp:widelands
  From: hessenfarmer, 2018-09-28
• [Merge] lp:~widelands-dev/widelands/frisian_balancing_2 into lp:widelands
  From: GunChleoc, 2018-09-29
• Re: [Merge] lp:~widelands-dev/widelands/frisian_balancing_2 into lp:widelands
  From: GunChleoc, 2018-09-29
• [Merge] lp:~widelands-dev/widelands/frisian_balancing_2 into lp:widelands
  From: noreply, 2018-09-29
• [Merge] lp:~widelands-dev/widelands/appveyor_tuning into lp:widelands
  From: Tino, 2018-09-19
• Re: [Merge] lp:~widelands-dev/widelands/appveyor_tuning into lp:widelands
  From: GunChleoc, 2018-09-19
• [Merge] lp:~widelands-dev/widelands/appveyor_tuning into lp:widelands
  From: bunnybot, 2018-09-19
• Re: [Merge] lp:~widelands-dev/widelands/appveyor_tuning into lp:widelands
  From: hessenfarmer, 2018-09-19
• [Merge] lp:~widelands-dev/widelands/appveyor_tuning into lp:widelands
  From: noreply, 2018-09-19
• [Merge] lp:~widelands-dev/widelands/geologist-messages into lp:widelands
  From: Benedikt Straub, 2018-09-18
• [Merge] lp:~widelands-dev/widelands/geologist-messages into lp:widelands
  From: bunnybot, 2018-09-18
• [Merge] lp:~widelands-dev/widelands/geologist-messages into lp:widelands
  From: GunChleoc, 2018-09-19
• Re: [Merge] lp:~widelands-dev/widelands/geologist-messages into lp:widelands
  From: GunChleoc, 2018-09-19
• Re: [Merge] lp:~widelands-dev/widelands/geologist-messages into lp:widelands
  From: hessenfarmer, 2018-09-19
• Re: [Merge] lp:~widelands-dev/widelands/geologist-messages into lp:widelands
  From: Benedikt Straub, 2018-09-19
• Re: [Merge] lp:~widelands-dev/widelands/geologist-messages into lp:widelands
  From: Benedikt Straub, 2018-09-19
• Re: [Merge] lp:~widelands-dev/widelands/geologist-messages into lp:widelands
  From: GunChleoc, 2018-09-19
• Re: [Merge] lp:~widelands-dev/widelands/geologist-messages into lp:widelands
  From: Benedikt Straub, 2018-09-19
• Re: [Merge] lp:~widelands-dev/widelands/geologist-messages into lp:widelands
  From: hessenfarmer, 2018-09-19
• Re: [Merge] lp:~widelands-dev/widelands/geologist-messages into lp:widelands
  From: hessenfarmer, 2018-09-21
• Re: [Merge] lp:~widelands-dev/widelands/geologist-messages into lp:widelands
  From: Benedikt Straub, 2018-09-21
• Re: [Merge] lp:~widelands-dev/widelands/geologist-messages into lp:widelands
  From: hessenfarmer, 2018-09-21
• Re: [Merge] lp:~widelands-dev/widelands/geologist-messages into lp:widelands
  From: Benedikt Straub, 2018-09-21
• Re: [Merge] lp:~widelands-dev/widelands/geologist-messages into lp:widelands
  From: GunChleoc, 2018-09-21
• Re: [Merge] lp:~widelands-dev/widelands/geologist-messages into lp:widelands
  From: hessenfarmer, 2018-09-21
• Re: [Merge] lp:~widelands-dev/widelands/geologist-messages into lp:widelands
  From: hessenfarmer, 2018-09-21
• [Merge] lp:~widelands-dev/widelands/geologist-messages into lp:widelands
  From: bunnybot, 2018-09-21
• Re: [Merge] lp:~widelands-dev/widelands/geologist-messages into lp:widelands
  From: Benedikt Straub, 2018-09-21
• Re: [Merge] lp:~widelands-dev/widelands/geologist-messages into lp:widelands
  From: hessenfarmer, 2018-09-21
• [Merge] lp:~widelands-dev/widelands/geologist-messages into lp:widelands
  From: bunnybot, 2018-09-22
• Re: [Merge] lp:~widelands-dev/widelands/geologist-messages into lp:widelands
  From: GunChleoc, 2018-09-24
• [Merge] lp:~widelands-dev/widelands/geologist-messages into lp:widelands
  From: noreply, 2018-09-24
• [Merge] lp:~widelands-dev/widelands/bug1629013_obsoletewinfiles into lp:widelands
  From: Tino, 2018-09-18
• Re: [Merge] lp:~widelands-dev/widelands/bug1629013_obsoletewinfiles into lp:widelands
  From: GunChleoc, 2018-09-18
• [Merge] lp:~widelands-dev/widelands/bug1629013_obsoletewinfiles into lp:widelands
  From: bunnybot, 2018-09-18
• [Merge] lp:~widelands-dev/widelands/bug1629013_obsoletewinfiles into lp:widelands
  From: noreply, 2018-09-18
• [Merge] lp:~widelands-dev/widelands/balancing-worldsavior into lp:widelands
  From: GunChleoc, 2018-09-17
• [Merge] lp:~widelands-dev/widelands/balancing-worldsavior into lp:widelands
  From: bunnybot, 2018-09-17
• Re: [Merge] lp:~widelands-dev/widelands/balancing-worldsavior into lp:widelands
  From: Tinker, 2018-09-18
• [Merge] lp:~widelands-dev/widelands/balancing-worldsavior into lp:widelands
  From: hessenfarmer, 2018-09-19
• [Merge] lp:~widelands-dev/widelands/soldier-capacity-ctrl into lp:widelands
  From: Benedikt Straub, 2018-09-16
• [Merge] lp:~widelands-dev/widelands/soldier-capacity-ctrl into lp:widelands
  From: bunnybot, 2018-09-16
• Re: [Merge] lp:~widelands-dev/widelands/soldier-capacity-ctrl into lp:widelands
  From: GunChleoc, 2018-09-17
• Re: [Merge] lp:~widelands-dev/widelands/soldier-capacity-ctrl into lp:widelands
  From: Benedikt Straub, 2018-09-17
• Re: [Merge] lp:~widelands-dev/widelands/soldier-capacity-ctrl into lp:widelands
  From: GunChleoc, 2018-09-17
• Re: [Merge] lp:~widelands-dev/widelands/soldier-capacity-ctrl into lp:widelands
  From: Toni Förster, 2018-09-26
• Re: [Merge] lp:~widelands-dev/widelands/soldier-capacity-ctrl into lp:widelands
  From: GunChleoc, 2018-09-27
• [Merge] lp:~widelands-dev/widelands/soldier-capacity-ctrl into lp:widelands
  From: bunnybot, 2019-03-26
• [Merge] lp:~widelands-dev/widelands/soldier-capacity-ctrl into lp:widelands
  From: bunnybot, 2019-04-05
• Re: [Merge] lp:~widelands-dev/widelands/soldier-capacity-ctrl into lp:widelands
  From: GunChleoc, 2019-04-23
• [Merge] lp:~widelands-dev/widelands/soldier-capacity-ctrl into lp:widelands
  From: noreply, 2019-04-23
• Re: [Merge] lp:~widelands-dev/widelands/soldier-capacity-ctrl into lp:widelands
  From: Toni Förster, 2019-05-09
• Re: [Merge] lp:~widelands-dev/widelands/soldier-capacity-ctrl into lp:widelands
  From: Toni Förster, 2019-05-09
• [Merge] lp:~widelands-dev/widelands/bug1792297_worker_encyclopedia into lp:widelands
  From: hessenfarmer, 2018-09-15
• [Merge] lp:~widelands-dev/widelands/bug1792297_worker_encyclopedia into lp:widelands
  From: bunnybot, 2018-09-16
• Re: [Merge] lp:~widelands-dev/widelands/bug1792297_worker_encyclopedia into lp:widelands
  From: GunChleoc, 2018-09-17
• Re: [Merge] lp:~widelands-dev/widelands/bug1792297_worker_encyclopedia into lp:widelands
  From: GunChleoc, 2018-09-17
• Re: [Merge] lp:~widelands-dev/widelands/bug1792297_worker_encyclopedia into lp:widelands
  From: hessenfarmer, 2018-09-17
• [Merge] lp:~widelands-dev/widelands/bug1792297_worker_encyclopedia into lp:widelands
  From: bunnybot, 2018-09-18
• Re: [Merge] lp:~widelands-dev/widelands/bug1792297_worker_encyclopedia into lp:widelands
  From: GunChleoc, 2018-09-18
• Re: [Merge] lp:~widelands-dev/widelands/bug1792297_worker_encyclopedia into lp:widelands
  From: GunChleoc, 2018-09-18
• Re: [Merge] lp:~widelands-dev/widelands/bug1792297_worker_encyclopedia into lp:widelands
  From: hessenfarmer, 2018-09-18
• Re: [Merge] lp:~widelands-dev/widelands/bug1792297_worker_encyclopedia into lp:widelands
  From: hessenfarmer, 2018-09-18
• Re: [Merge] lp:~widelands-dev/widelands/bug1792297_worker_encyclopedia into lp:widelands
  From: GunChleoc, 2018-09-19
• Re: [Merge] lp:~widelands-dev/widelands/bug1792297_worker_encyclopedia into lp:widelands
  From: hessenfarmer, 2018-09-19
• Re: [Merge] lp:~widelands-dev/widelands/bug1792297_worker_encyclopedia into lp:widelands
  From: GunChleoc, 2018-09-19
• Re: [Merge] lp:~widelands-dev/widelands/bug1792297_worker_encyclopedia into lp:widelands
  From: hessenfarmer, 2018-09-19
• Re: [Merge] lp:~widelands-dev/widelands/bug1792297_worker_encyclopedia into lp:widelands
  From: GunChleoc, 2018-09-24
• Re: [Merge] lp:~widelands-dev/widelands/bug1792297_worker_encyclopedia into lp:widelands
  From: hessenfarmer, 2018-09-24
• Re: [Merge] lp:~widelands-dev/widelands/bug1792297_worker_encyclopedia into lp:widelands
  From: hessenfarmer, 2018-09-24
• Re: [Merge] lp:~widelands-dev/widelands/bug1792297_worker_encyclopedia into lp:widelands
  From: GunChleoc, 2018-09-24
• Re: [Merge] lp:~widelands-dev/widelands/bug1792297_worker_encyclopedia into lp:widelands
  From: hessenfarmer, 2018-09-24
• Re: [Merge] lp:~widelands-dev/widelands/bug1792297_worker_encyclopedia into lp:widelands
  From: GunChleoc, 2018-09-24
• Re: [Merge] lp:~widelands-dev/widelands/bug1792297_worker_encyclopedia into lp:widelands
  From: hessenfarmer, 2018-09-24
• Re: [Merge] lp:~widelands-dev/widelands/bug1792297_worker_encyclopedia into lp:widelands
  From: hessenfarmer, 2018-09-24
• Re: [Merge] lp:~widelands-dev/widelands/bug1792297_worker_encyclopedia into lp:widelands
  From: GunChleoc, 2018-09-25
• Re: [Merge] lp:~widelands-dev/widelands/bug1792297_worker_encyclopedia into lp:widelands
  From: hessenfarmer, 2018-09-25
• Re: [Merge] lp:~widelands-dev/widelands/bug1792297_worker_encyclopedia into lp:widelands
  From: hessenfarmer, 2018-09-25
• [Merge] lp:~widelands-dev/widelands/bug1792297_worker_encyclopedia into lp:widelands
  From: bunnybot, 2018-09-25
• Re: [Merge] lp:~widelands-dev/widelands/bug1792297_worker_encyclopedia into lp:widelands
  From: GunChleoc, 2018-09-26
• [Merge] lp:~widelands-dev/widelands/bug1792297_worker_encyclopedia into lp:widelands
  From: noreply, 2018-09-26
• [Merge] lp:~widelands-dev/widelands-website/delete_user into lp:widelands-website
  From: kaputtnik, 2018-09-15
• [Merge] lp:~widelands-dev/widelands-website/delete_user into lp:widelands-website
  From: kaputtnik, 2018-09-15
• Re: [Merge] lp:~widelands-dev/widelands-website/delete_user into lp:widelands-website
  From: kaputtnik, 2018-09-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