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/appveyor_fix into lp:widelands, (continued)
  • Re: [Merge] lp:~widelands-dev/widelands/appveyor_fix into lp:widelands
    From: hessenfarmer, 2018-09-06
  • Re: [Merge] lp:~widelands-dev/widelands/appveyor_fix into lp:widelands
    From: GunChleoc, 2018-09-06
  • Re: [Merge] lp:~widelands-dev/widelands/appveyor_fix into lp:widelands
    From: hessenfarmer, 2018-09-06
  • [Merge] lp:~widelands-dev/widelands/appveyor_fix into lp:widelands
    From: bunnybot, 2018-09-09
  • Re: [Merge] lp:~widelands-dev/widelands/appveyor_fix into lp:widelands
    From: GunChleoc, 2018-09-10
  • [Merge] lp:~widelands-dev/widelands/appveyor_fix into lp:widelands
    From: noreply, 2018-09-10
  • Re: [Merge] lp:~widelands-dev/widelands/appveyor_fix into lp:widelands
    From: GunChleoc, 2018-09-10
  • Re: [Merge] lp:~widelands-dev/widelands/appveyor_fix into lp:widelands
    From: hessenfarmer, 2018-09-10
  • Re: [Merge] lp:~widelands-dev/widelands/appveyor_fix into lp:widelands
    From: hessenfarmer, 2018-09-10
  • [Merge] lp:~widelands-dev/widelands/appveyor_fix into lp:widelands
    From: hessenfarmer, 2018-09-10
  • [Merge] lp:~widelands-dev/widelands/appveyor_fix into lp:widelands
    From: bunnybot, 2018-09-11
  • Re: [Merge] lp:~widelands-dev/widelands/appveyor_fix into lp:widelands
    From: GunChleoc, 2018-09-11
  • [Merge] lp:~widelands-dev/widelands/appveyor_fix into lp:widelands
    From: noreply, 2018-09-11
• [Merge] lp:~widelands-dev/widelands/rework-resource-indicators into lp:widelands
  From: Benedikt Straub, 2018-08-29
• [Merge] lp:~widelands-dev/widelands/rework-resource-indicators into lp:widelands
  From: bunnybot, 2018-08-29
• [Merge] lp:~widelands-dev/widelands/rework-resource-indicators into lp:widelands
  From: bunnybot, 2018-08-30
• Re: [Merge] lp:~widelands-dev/widelands/rework-resource-indicators into lp:widelands
  From: GunChleoc, 2018-09-01
• Re: [Merge] lp:~widelands-dev/widelands/rework-resource-indicators into lp:widelands
  From: GunChleoc, 2018-09-01
• Re: [Merge] lp:~widelands-dev/widelands/rework-resource-indicators into lp:widelands
  From: Benedikt Straub, 2018-09-01
• Re: [Merge] lp:~widelands-dev/widelands/rework-resource-indicators into lp:widelands
  From: Benedikt Straub, 2018-09-01
• Re: [Merge] lp:~widelands-dev/widelands/rework-resource-indicators into lp:widelands
  From: GunChleoc, 2018-09-02
• Re: [Merge] lp:~widelands-dev/widelands/rework-resource-indicators into lp:widelands
  From: Benedikt Straub, 2018-09-02
• Re: [Merge] lp:~widelands-dev/widelands/rework-resource-indicators into lp:widelands
  From: GunChleoc, 2018-09-02
• Re: [Merge] lp:~widelands-dev/widelands/rework-resource-indicators into lp:widelands
  From: GunChleoc, 2018-09-05
• Re: [Merge] lp:~widelands-dev/widelands/rework-resource-indicators into lp:widelands
  From: Benedikt Straub, 2018-09-07
• Re: [Merge] lp:~widelands-dev/widelands/rework-resource-indicators into lp:widelands
  From: GunChleoc, 2018-09-08
• [Merge] lp:~widelands-dev/widelands/rework-resource-indicators into lp:widelands
  From: bunnybot, 2018-09-09
• Re: [Merge] lp:~widelands-dev/widelands/rework-resource-indicators into lp:widelands
  From: Benedikt Straub, 2018-09-10
• Re: [Merge] lp:~widelands-dev/widelands/rework-resource-indicators into lp:widelands
  From: GunChleoc, 2018-09-11
• Re: [Merge] lp:~widelands-dev/widelands/rework-resource-indicators into lp:widelands
  From: Benedikt Straub, 2018-09-11
• Re: [Merge] lp:~widelands-dev/widelands/rework-resource-indicators into lp:widelands
  From: GunChleoc, 2018-09-12
• Re: [Merge] lp:~widelands-dev/widelands/rework-resource-indicators into lp:widelands
  From: Benedikt Straub, 2018-09-12
• Re: [Merge] lp:~widelands-dev/widelands/rework-resource-indicators into lp:widelands
  From: GunChleoc, 2018-09-12
• [Merge] lp:~widelands-dev/widelands/rework-resource-indicators into lp:widelands
  From: bunnybot, 2018-09-14
• [Merge] lp:~widelands-dev/widelands/rework-resource-indicators into lp:widelands
  From: bunnybot, 2018-09-14
• [Merge] lp:~widelands-dev/widelands/rework-resource-indicators into lp:widelands
  From: bunnybot, 2018-09-14
• Re: [Merge] lp:~widelands-dev/widelands/rework-resource-indicators into lp:widelands
  From: GunChleoc, 2018-09-15
• [Merge] lp:~widelands-dev/widelands/rework-resource-indicators into lp:widelands
  From: noreply, 2018-09-15
• [Merge] lp:~widelands-dev/widelands/bug-1639253-atlantean-smoker-leave-house-se into lp:widelands
  From: GunChleoc, 2018-08-29
• Re: [Merge] lp:~widelands-dev/widelands/bug-1639253-atlantean-smoker-leave-house-se into lp:widelands
  From: hessenfarmer, 2018-08-29
• [Merge] lp:~widelands-dev/widelands/bug-1639253-atlantean-smoker-leave-house-se into lp:widelands
  From: bunnybot, 2018-08-29
• Re: [Merge] lp:~widelands-dev/widelands/bug-1639253-atlantean-smoker-leave-house-se into lp:widelands
  From: kaputtnik, 2018-08-29
• [Merge] lp:~widelands-dev/widelands/bug-1639253-atlantean-smoker-leave-house-se into lp:widelands
  From: noreply, 2018-08-29
• [Merge] lp:~widelands-dev/widelands/bug-858292-military-influence into lp:widelands
  From: GunChleoc, 2018-08-28
• [Merge] lp:~widelands-dev/widelands/bug-858292-military-influence into lp:widelands
  From: bunnybot, 2018-08-28
• Re: [Merge] lp:~widelands-dev/widelands/bug-858292-military-influence into lp:widelands
  From: Klaus Halfmann, 2018-09-26
• [Merge] lp:~widelands-dev/widelands/bug-858292-military-influence into lp:widelands
  From: bunnybot, 2018-09-27
• Re: [Merge] lp:~widelands-dev/widelands/bug-858292-military-influence into lp:widelands
  From: Klaus Halfmann, 2018-09-27
• Re: [Merge] lp:~widelands-dev/widelands/bug-858292-military-influence into lp:widelands
  From: Klaus Halfmann, 2018-09-27
• Re: [Merge] lp:~widelands-dev/widelands/bug-858292-military-influence into lp:widelands
  From: GunChleoc, 2018-09-27
• Re: [Merge] lp:~widelands-dev/widelands/appdata_tweaks into lp:widelands
  From: GunChleoc, 2018-08-27
• [Merge] lp:~widelands-dev/widelands/appdata_tweaks into lp:widelands
  From: GunChleoc, 2018-08-27
• [Merge] lp:~widelands-dev/widelands/appdata_tweaks into lp:widelands
  From: bunnybot, 2018-08-28
• [Merge] lp:~widelands-dev/widelands/appdata_tweaks into lp:widelands
  From: noreply, 2018-08-28
• [Merge] lp:~widelands-dev/widelands/bug-1746270-rolling-autosave-file-permissions into lp:widelands
  From: GunChleoc, 2018-08-26
• [Merge] lp:~widelands-dev/widelands/bug-1746270-rolling-autosave-file-permissions into lp:widelands
  From: bunnybot, 2018-08-27
• Re: [Merge] lp:~widelands-dev/widelands/bug-1746270-rolling-autosave-file-permissions into lp:widelands
  From: Klaus Halfmann, 2018-09-25
• Re: [Merge] lp:~widelands-dev/widelands/bug-1746270-rolling-autosave-file-permissions into lp:widelands
  From: Klaus Halfmann, 2018-09-25
• Re: [Merge] lp:~widelands-dev/widelands/bug-1746270-rolling-autosave-file-permissions into lp:widelands
  From: Klaus Halfmann, 2018-09-26
• [Merge] lp:~widelands-dev/widelands/bug-1746270-rolling-autosave-file-permissions into lp:widelands
  From: noreply, 2018-09-26
• Re: [Merge] lp:~widelands-dev/widelands/bug-1789023-fix-icon-for-software-center into lp:widelands
  From: GunChleoc, 2018-08-26
• [Merge] lp:~widelands-dev/widelands/bug-1789023-fix-icon-for-software-center into lp:widelands
  From: GunChleoc, 2018-08-26
• [Merge] lp:~widelands-dev/widelands/bug-1789023-fix-icon-for-software-center into lp:widelands
  From: GunChleoc, 2018-08-26
• [Merge] lp:~widelands-dev/widelands/bug-1789023-fix-icon-for-software-center into lp:widelands
  From: bunnybot, 2018-08-27
• [Merge] lp:~widelands-dev/widelands/bug-1789023-fix-icon-for-software-center into lp:widelands
  From: noreply, 2018-08-27
• [Merge] lp:~widelands-dev/widelands/bug-1766957-sinking-ship-animation into lp:widelands
  From: GunChleoc, 2018-08-25
• [Merge] lp:~widelands-dev/widelands/bug-1766957-sinking-ship-animation into lp:widelands
  From: bunnybot, 2018-08-27
• Re: [Merge] lp:~widelands-dev/widelands/bug-1766957-sinking-ship-animation into lp:widelands
  From: Notabilis, 2018-09-10
• Re: [Merge] lp:~widelands-dev/widelands/bug-1766957-sinking-ship-animation into lp:widelands
  From: GunChleoc, 2018-09-11
• Re: [Merge] lp:~widelands-dev/widelands/bug-1766957-sinking-ship-animation into lp:widelands
  From: Notabilis, 2018-09-11
• Re: [Merge] lp:~widelands-dev/widelands/bug-1766957-sinking-ship-animation into lp:widelands
  From: GunChleoc, 2018-09-12
• [Merge] lp:~widelands-dev/widelands/bug-1766957-sinking-ship-animation into lp:widelands
  From: noreply, 2018-09-12
• [Merge] lp:~widelands-dev/widelands/empire04_bug_fix_enhance into lp:widelands
  From: hessenfarmer, 2018-08-24
• [Merge] lp:~widelands-dev/widelands/empire04_bug_fix_enhance into lp:widelands
  From: GunChleoc, 2018-08-25
• [Merge] lp:~widelands-dev/widelands/empire04_bug_fix_enhance into lp:widelands
  From: GunChleoc, 2018-08-25
• Re: [Merge] lp:~widelands-dev/widelands/empire04_bug_fix_enhance into lp:widelands
  From: GunChleoc, 2018-08-25
• Re: [Merge] lp:~widelands-dev/widelands/empire04_bug_fix_enhance into lp:widelands
  From: hessenfarmer, 2018-08-25
• Re: [Merge] lp:~widelands-dev/widelands/empire04_bug_fix_enhance into lp:widelands
  From: hessenfarmer, 2018-08-26
• [Merge] lp:~widelands-dev/widelands/empire04_bug_fix_enhance into lp:widelands
  From: bunnybot, 2018-08-27
• Re: [Merge] lp:~widelands-dev/widelands/empire04_bug_fix_enhance into lp:widelands
  From: GunChleoc, 2018-09-01
• Re: [Merge] lp:~widelands-dev/widelands/empire04_bug_fix_enhance into lp:widelands
  From: MP, 2018-09-03
• Re: [Merge] lp:~widelands-dev/widelands/empire04_bug_fix_enhance into lp:widelands
  From: GunChleoc, 2018-09-03
• Re: [Merge] lp:~widelands-dev/widelands/empire04_bug_fix_enhance into lp:widelands
  From: hessenfarmer, 2018-09-03
• [Merge] lp:~widelands-dev/widelands/empire04_bug_fix_enhance into lp:widelands
  From: bunnybot, 2018-09-03
• Re: [Merge] lp:~widelands-dev/widelands/empire04_bug_fix_enhance into lp:widelands
  From: hessenfarmer, 2018-09-07
• Re: [Merge] lp:~widelands-dev/widelands/empire04_bug_fix_enhance into lp:widelands
  From: GunChleoc, 2018-09-08
• Re: [Merge] lp:~widelands-dev/widelands/empire04_bug_fix_enhance into lp:widelands
  From: hessenfarmer, 2018-09-08
• [Merge] lp:~widelands-dev/widelands/empire04_bug_fix_enhance into lp:widelands
  From: bunnybot, 2018-09-09
• [Merge] lp:~widelands-dev/widelands/empire04_bug_fix_enhance into lp:widelands
  From: noreply, 2018-09-09
• [Merge] lp:~widelands-dev/widelands/bug-1480927-building-texts into lp:widelands
  From: GunChleoc, 2018-08-24
• Re: [Merge] lp:~widelands-dev/widelands/bug-1480927-building-texts into lp:widelands
  From: GunChleoc, 2018-08-24
• [Merge] lp:~widelands-dev/widelands/bug-1480927-building-texts into lp:widelands
  From: bunnybot, 2018-08-27
• Re: [Merge] lp:~widelands-dev/widelands/bug-1480927-building-texts into lp:widelands
  From: Klaus Halfmann, 2018-09-22
• Re: [Merge] lp:~widelands-dev/widelands/bug-1480927-building-texts into lp:widelands
  From: Klaus Halfmann, 2018-09-22
• Re: [Merge] lp:~widelands-dev/widelands/bug-1480927-building-texts into lp:widelands
  From: Klaus Halfmann, 2018-09-23
• [Merge] lp:~widelands-dev/widelands/bug-1480927-building-texts into lp:widelands
  From: bunnybot, 2018-09-23
• Re: [Merge] lp:~widelands-dev/widelands/bug-1480927-building-texts into lp:widelands
  From: GunChleoc, 2018-09-24
• [Merge] lp:~widelands-dev/widelands/bug-1480927-building-texts into lp:widelands
  From: bunnybot, 2018-09-25
• [Merge] lp:~widelands-dev/widelands/bug-1480927-building-texts into lp:widelands
  From: bunnybot, 2018-09-25
• Re: [Merge] lp:~widelands-dev/widelands/bug-1480927-building-texts into lp:widelands
  From: Klaus Halfmann, 2018-09-25
• [Merge] lp:~widelands-dev/widelands/bug-1480927-building-texts into lp:widelands
  From: noreply, 2018-09-25
• [Merge] lp:~widelands-dev/widelands/bug-1774591-loading-screen-tips into lp:widelands
  From: GunChleoc, 2018-08-22
• [Merge] lp:~widelands-dev/widelands/bug-1774591-loading-screen-tips into lp:widelands
  From: bunnybot, 2018-08-22
• Re: [Merge] lp:~widelands-dev/widelands/bug-1774591-loading-screen-tips into lp:widelands
  From: Notabilis, 2018-08-24
• Re: [Merge] lp:~widelands-dev/widelands/bug-1774591-loading-screen-tips into lp:widelands
  From: GunChleoc, 2018-08-24
• [Merge] lp:~widelands-dev/widelands/bug-1774591-loading-screen-tips into lp:widelands
  From: noreply, 2018-08-24
• [Merge] lp:~widelands-dev/widelands/skipped_statistics into lp:widelands
  From: Toni Förster, 2018-08-22
• [Merge] lp:~widelands-dev/widelands/skipped_statistics into lp:widelands
  From: Toni Förster, 2018-08-22
• Re: [Merge] lp:~widelands-dev/widelands/skipped_statistics into lp:widelands
  From: Toni Förster, 2018-08-22
• [Merge] lp:~widelands-dev/widelands/multiplayer-ui into lp:widelands
  From: Toni Förster, 2018-08-21
• [Merge] lp:~widelands-dev/widelands/multiplayer-ui into lp:widelands
  From: bunnybot, 2018-08-21
• [Merge] lp:~widelands-dev/widelands/multiplayer-ui into lp:widelands
  From: GunChleoc, 2018-08-22
• Re: [Merge] lp:~widelands-dev/widelands/multiplayer-ui into lp:widelands
  From: GunChleoc, 2018-08-22
• [Merge] lp:~widelands-dev/widelands/multiplayer-ui into lp:widelands
  From: bunnybot, 2018-08-22
• [Merge] lp:~widelands-dev/widelands/multiplayer-ui into lp:widelands
  From: noreply, 2018-08-22
• [Merge] lp:~widelands-dev/widelands/fix_osx_nightlies into lp:widelands
  From: SirVer, 2018-08-20
• Re: [Merge] lp:~widelands-dev/widelands/fix_osx_nightlies into lp:widelands
  From: Toni Förster, 2018-08-20
• [Merge] lp:~widelands-dev/widelands/fix_osx_nightlies into lp:widelands
  From: bunnybot, 2018-08-21
• Re: [Merge] lp:~widelands-dev/widelands/fix_osx_nightlies into lp:widelands
  From: GunChleoc, 2018-08-21
• Re: [Merge] lp:~widelands-dev/widelands/fix_osx_nightlies into lp:widelands
  From: GunChleoc, 2018-08-21
• Re: [Merge] lp:~widelands-dev/widelands/fix_osx_nightlies into lp:widelands
  From: Toni Förster, 2018-08-21
• [Merge] lp:~widelands-dev/widelands/fix_osx_nightlies into lp:widelands
  From: bunnybot, 2018-08-21
• Re: [Merge] lp:~widelands-dev/widelands/fix_osx_nightlies into lp:widelands
  From: SirVer, 2018-08-22
• [Merge] lp:~widelands-dev/widelands/fix_osx_nightlies into lp:widelands
  From: noreply, 2018-08-22
• [Merge] lp:~widelands-dev/widelands/mines_sleep_time into lp:~widelands-dev/widelands/mines-worldsavior
  From: Toni Förster, 2018-08-20
• Re: [Merge] lp:~widelands-dev/widelands/mines_sleep_time into lp:~widelands-dev/widelands/mines-worldsavior
  From: hessenfarmer, 2018-08-21
• Re: [Merge] lp:~widelands-dev/widelands/mines_sleep_time into lp:~widelands-dev/widelands/mines-worldsavior
  From: hessenfarmer, 2018-08-21
• Re: [Merge] lp:~widelands-dev/widelands/mines_sleep_time into lp:~widelands-dev/widelands/mines-worldsavior
  From: GunChleoc, 2018-08-21
• Re: [Merge] lp:~widelands-dev/widelands/mines_sleep_time into lp:~widelands-dev/widelands/mines-worldsavior
  From: hessenfarmer, 2018-08-21
• Re: [Merge] lp:~widelands-dev/widelands/mines_sleep_time into lp:~widelands-dev/widelands/mines-worldsavior
  From: Toni Förster, 2018-08-21
• Re: [Merge] lp:~widelands-dev/widelands/mines_sleep_time into lp:~widelands-dev/widelands/mines-worldsavior
  From: hessenfarmer, 2018-08-21
• [Merge] lp:~widelands-dev/widelands/mines_sleep_time into lp:~widelands-dev/widelands/mines-worldsavior
  From: noreply, 2018-08-21
• [Merge] lp:~widelands-dev/widelands/bug-1784200-single-line-escaping into lp:widelands
  From: Notabilis, 2018-08-20
• [Merge] lp:~widelands-dev/widelands/bug-1784200-single-line-escaping into lp:widelands
  From: bunnybot, 2018-08-21
• Re: [Merge] lp:~widelands-dev/widelands/bug-1784200-single-line-escaping into lp:widelands
  From: GunChleoc, 2018-08-21
• Re: [Merge] lp:~widelands-dev/widelands/bug-1784200-single-line-escaping into lp:widelands
  From: Notabilis, 2018-08-21
• Re: [Merge] lp:~widelands-dev/widelands/bug-1784200-single-line-escaping into lp:widelands
  From: GunChleoc, 2018-08-21
• Re: [Merge] lp:~widelands-dev/widelands/bug-1784200-single-line-escaping into lp:widelands
  From: Notabilis, 2018-08-22
• Re: [Merge] lp:~widelands-dev/widelands/bug-1784200-single-line-escaping into lp:widelands
  From: GunChleoc, 2018-08-24
• [Merge] lp:~widelands-dev/widelands/bug-1784200-single-line-escaping into lp:widelands
  From: noreply, 2018-08-24
• [Merge] lp:~widelands-dev/widelands/bug-1784122-singleplayer-viewport into lp:widelands
  From: GunChleoc, 2018-08-20
• [Merge] lp:~widelands-dev/widelands/bug-1784122-singleplayer-viewport into lp:widelands
  From: bunnybot, 2018-08-20
• Re: [Merge] lp:~widelands-dev/widelands/bug-1784122-singleplayer-viewport into lp:widelands
  From: Notabilis, 2018-08-21
• Re: [Merge] lp:~widelands-dev/widelands/bug-1784122-singleplayer-viewport into lp:widelands
  From: Klaus Halfmann, 2018-08-22
• Re: [Merge] lp:~widelands-dev/widelands/bug-1784122-singleplayer-viewport into lp:widelands
  From: GunChleoc, 2018-08-22
• [Merge] lp:~widelands-dev/widelands/bug-1784122-singleplayer-viewport into lp:widelands
  From: noreply, 2018-08-22
• Re: [Merge] lp:~widelands-dev/widelands/bug-1784122-singleplayer-viewport into lp:widelands
  From: Notabilis, 2018-08-22
• Re: [Merge] lp:~widelands-dev/widelands/bug-1784122-singleplayer-viewport into lp:widelands
  From: Notabilis, 2018-08-22
• [Merge] lp:~widelands-dev/widelands/bug-1787105_tada_edited_sounds into lp:widelands
  From: GunChleoc, 2018-08-16
• [Merge] lp:~widelands-dev/widelands/bug-1787105_tada_edited_sounds into lp:widelands
  From: bunnybot, 2018-08-16
• [Merge] lp:~widelands-dev/widelands/bug-1787105_tada_edited_sounds into lp:widelands
  From: bunnybot, 2018-08-20
• [Merge] lp:~widelands-dev/widelands/bug-1787105_tada_edited_sounds into lp:widelands
  From: bunnybot, 2018-08-21
• Re: [Merge] lp:~widelands-dev/widelands/bug-1787105_tada_edited_sounds into lp:widelands
  From: GunChleoc, 2018-09-01
• [Merge] lp:~widelands-dev/widelands/bug-1787105_tada_edited_sounds into lp:widelands
  From: noreply, 2018-09-01
• [Merge] lp:~widelands-dev/widelands/bug-1776603_map_info_memory_leak into lp:widelands
  From: GunChleoc, 2018-08-15
• Re: [Merge] lp:~widelands-dev/widelands/bug-1776603_map_info_memory_leak into lp:widelands
  From: kaputtnik, 2018-08-15
• [Merge] lp:~widelands-dev/widelands/bug-1776603_map_info_memory_leak into lp:widelands
  From: bunnybot, 2018-08-15
• Re: [Merge] lp:~widelands-dev/widelands/bug-1776603_map_info_memory_leak into lp:widelands
  From: GunChleoc, 2018-08-28
• [Merge] lp:~widelands-dev/widelands/bug-1776603_map_info_memory_leak into lp:widelands
  From: noreply, 2018-08-28
• [Merge] lp:~widelands-dev/widelands/macos_build_app_compiler into lp:widelands
  From: Toni Förster, 2018-08-13
• [Merge] lp:~widelands-dev/widelands/macos_build_app_compiler into lp:widelands
  From: Toni Förster, 2018-08-14
• [Merge] lp:~widelands-dev/widelands/macos_build_app_compiler into lp:widelands
  From: Toni Förster, 2018-08-14
• [Merge] lp:~widelands-dev/widelands/macos_build_app_compiler into lp:widelands
  From: Toni Förster, 2018-08-14
• [Merge] lp:~widelands-dev/widelands/macos_build_app_compiler into lp:widelands
  From: Toni Förster, 2018-08-14
• Re: [Merge] lp:~widelands-dev/widelands/macos_build_app_compiler into lp:widelands
  From: GunChleoc, 2018-08-14
• [Merge] lp:~widelands-dev/widelands/macos_build_app_compiler into lp:widelands
  From: bunnybot, 2018-08-14
• Re: [Merge] lp:~widelands-dev/widelands/macos_build_app_compiler into lp:widelands
  From: Klaus Halfmann, 2018-08-14
• Re: [Merge] lp:~widelands-dev/widelands/macos_build_app_compiler into lp:widelands
  From: Klaus Halfmann, 2018-08-14
• Re: [Merge] lp:~widelands-dev/widelands/macos_build_app_compiler into lp:widelands
  From: Toni Förster, 2018-08-14
• Re: [Merge] lp:~widelands-dev/widelands/macos_build_app_compiler into lp:widelands
  From: Klaus Halfmann, 2018-08-14
• Re: [Merge] lp:~widelands-dev/widelands/macos_build_app_compiler into lp:widelands
  From: Toni Förster, 2018-08-14
• [Merge] lp:~widelands-dev/widelands/macos_build_app_compiler into lp:widelands
  From: bunnybot, 2018-08-14
• Re: [Merge] lp:~widelands-dev/widelands/macos_build_app_compiler into lp:widelands
  From: GunChleoc, 2018-08-15
• [Merge] lp:~widelands-dev/widelands/macos_build_app_compiler into lp:widelands
  From: bunnybot, 2018-08-15
• Re: [Merge] lp:~widelands-dev/widelands/macos_build_app_compiler into lp:widelands
  From: Toni Förster, 2018-08-15
• [Merge] lp:~widelands-dev/widelands/macos_build_app_compiler into lp:widelands
  From: Toni Förster, 2018-08-15
• Re: [Merge] lp:~widelands-dev/widelands/macos_build_app_compiler into lp:widelands
  From: Klaus Halfmann, 2018-08-15
• Re: [Merge] lp:~widelands-dev/widelands/macos_build_app_compiler into lp:widelands
  From: Klaus Halfmann, 2018-08-15
• Re: [Merge] lp:~widelands-dev/widelands/macos_build_app_compiler into lp:widelands
  From: Toni Förster, 2018-08-15
• <Possible follow-ups>
• [Merge] lp:~widelands-dev/widelands/macos_build_app_compiler into lp:widelands
  From: Toni Förster, 2018-08-15
• [Merge] lp:~widelands-dev/widelands/macos_build_app_compiler into lp:widelands
  From: bunnybot, 2018-08-15
• Re: [Merge] lp:~widelands-dev/widelands/macos_build_app_compiler into lp:widelands
  From: GunChleoc, 2018-08-17
• [Merge] lp:~widelands-dev/widelands/macos_build_app_compiler into lp:widelands
  From: noreply, 2018-08-17
• [Merge] lp:~widelands-dev/widelands/bug-1786613-500ms-return-skipped into lp:widelands
  From: Toni Förster, 2018-08-13
• Re: [Merge] lp:~widelands-dev/widelands/bug-1786613-500ms-return-skipped into lp:widelands
  From: hessenfarmer, 2018-08-14
• Re: [Merge] lp:~widelands-dev/widelands/bug-1786613-500ms-return-skipped into lp:widelands
  From: Toni Förster, 2018-08-14
• Re: [Merge] lp:~widelands-dev/widelands/bug-1786613-500ms-return-skipped into lp:widelands
  From: ypopezios, 2018-08-14
• Re: [Merge] lp:~widelands-dev/widelands/bug-1786613-500ms-return-skipped into lp:widelands
  From: hessenfarmer, 2018-08-14
• [Merge] lp:~widelands-dev/widelands/bug-1786613-500ms-return-skipped into lp:widelands
  From: bunnybot, 2018-08-14
• [Merge] lp:~widelands-dev/widelands/bug-1786613-500ms-return-skipped into lp:widelands
  From: Toni Förster, 2018-08-20
• [Merge] lp:~widelands-dev/widelands/remove_executable_bit into lp:widelands
  From: Toni Förster, 2018-08-13
• Re: [Merge] lp:~widelands-dev/widelands/remove_executable_bit into lp:widelands
  From: GunChleoc, 2018-08-13
• [Merge] lp:~widelands-dev/widelands/remove_executable_bit into lp:widelands
  From: bunnybot, 2018-08-14
• [Merge] lp:~widelands-dev/widelands/remove_executable_bit into lp:widelands
  From: noreply, 2018-08-14
• [Merge] lp:~widelands-dev/widelands/missing_animations_barbarians_wood_hardener into lp:~widelands-dev/widelands/mines-worldsavior
  From: Toni Förster, 2018-08-13
• Re: [Merge] lp:~widelands-dev/widelands/missing_animations_barbarians_wood_hardener into lp:~widelands-dev/widelands/mines-worldsavior
  From: GunChleoc, 2018-08-13
• Re: [Merge] lp:~widelands-dev/widelands/missing_animations_barbarians_wood_hardener into lp:~widelands-dev/widelands/mines-worldsavior
  From: hessenfarmer, 2018-08-13
• Re: [Merge] lp:~widelands-dev/widelands/missing_animations_barbarians_wood_hardener into lp:~widelands-dev/widelands/mines-worldsavior
  From: hessenfarmer, 2018-08-14
• [Merge] lp:~widelands-dev/widelands/missing_animations_barbarians_wood_hardener into lp:~widelands-dev/widelands/mines-worldsavior
  From: noreply, 2018-08-15
• [Merge] lp:~widelands-dev/widelands/fix-frisian-trainingsites-food-help into lp:widelands
  From: GunChleoc, 2018-08-13

 •  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