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-website/delete_user into lp:widelands-website, (continued)
  • [Merge] lp:~widelands-dev/widelands-website/delete_user into lp:widelands-website
    From: noreply, 2018-09-19
  • Re: [Merge] lp:~widelands-dev/widelands-website/delete_user into lp:widelands-website
    From: kaputtnik, 2018-09-19
• [Merge] lp:~widelands-dev/widelands/empire03_improve into lp:widelands
  From: hessenfarmer, 2018-09-14
• Re: [Merge] lp:~widelands-dev/widelands/empire03_improve into lp:widelands
  From: GunChleoc, 2018-09-14
• Re: [Merge] lp:~widelands-dev/widelands/empire03_improve into lp:widelands
  From: hessenfarmer, 2018-09-14
• Re: [Merge] lp:~widelands-dev/widelands/empire03_improve into lp:widelands
  From: GunChleoc, 2018-09-15
• [Merge] lp:~widelands-dev/widelands/empire03_improve into lp:widelands
  From: bunnybot, 2018-09-15
• [Merge] lp:~widelands-dev/widelands/empire03_improve into lp:widelands
  From: noreply, 2018-09-15
• [Merge] lp:~widelands-dev/widelands/per-level-soldier-anims into lp:widelands
  From: Benedikt Straub, 2018-09-14
• [Merge] lp:~widelands-dev/widelands/per-level-soldier-anims into lp:widelands
  From: bunnybot, 2018-09-16
• [Merge] lp:~widelands-dev/widelands/per-level-soldier-anims into lp:widelands
  From: bunnybot, 2018-09-26
• [Merge] lp:~widelands-dev/widelands/per-level-soldier-anims into lp:widelands
  From: bunnybot, 2018-09-27
• Re: [Merge] lp:~widelands-dev/widelands/per-level-soldier-anims into lp:widelands
  From: Klaus Halfmann, 2018-09-29
• Re: [Merge] lp:~widelands-dev/widelands/per-level-soldier-anims into lp:widelands
  From: Benedikt Straub, 2018-09-29
• Re: [Merge] lp:~widelands-dev/widelands/per-level-soldier-anims into lp:widelands
  From: GunChleoc, 2018-10-01
• [Merge] lp:~widelands-dev/widelands/per-level-soldier-anims into lp:widelands
  From: bunnybot, 2019-03-26
• [Merge] lp:~widelands-dev/widelands/per-level-soldier-anims into lp:widelands
  From: bunnybot, 2019-04-12
• Re: [Merge] lp:~widelands-dev/widelands/per-level-soldier-anims into lp:widelands
  From: GunChleoc, 2019-04-24
• Re: [Merge] lp:~widelands-dev/widelands/per-level-soldier-anims into lp:widelands
  From: Benedikt Straub, 2019-04-26
• [Merge] lp:~widelands-dev/widelands/per-level-soldier-anims into lp:widelands
  From: bunnybot, 2019-04-27
• Re: [Merge] lp:~widelands-dev/widelands/per-level-soldier-anims into lp:widelands
  From: GunChleoc, 2019-04-27
• Re: [Merge] lp:~widelands-dev/widelands/per-level-soldier-anims into lp:widelands
  From: Benedikt Straub, 2019-04-27
• [Merge] lp:~widelands-dev/widelands/per-level-soldier-anims into lp:widelands
  From: bunnybot, 2019-04-27
• Re: [Merge] lp:~widelands-dev/widelands/per-level-soldier-anims into lp:widelands
  From: GunChleoc, 2019-04-28
• Re: [Merge] lp:~widelands-dev/widelands/per-level-soldier-anims into lp:widelands
  From: Benedikt Straub, 2019-04-28
• Re: [Merge] lp:~widelands-dev/widelands/per-level-soldier-anims into lp:widelands
  From: GunChleoc, 2019-04-28
• [Merge] lp:~widelands-dev/widelands/per-level-soldier-anims into lp:widelands
  From: bunnybot, 2019-04-28
• [Merge] lp:~widelands-dev/widelands/per-level-soldier-anims into lp:widelands
  From: bunnybot, 2019-04-29
• [Merge] lp:~widelands-dev/widelands/per-level-soldier-anims into lp:widelands
  From: bunnybot, 2019-05-12
• [Merge] lp:~widelands-dev/widelands/per-level-soldier-anims into lp:widelands
  From: bunnybot, 2019-05-13
• [Merge] lp:~widelands-dev/widelands/per-level-soldier-anims into lp:widelands
  From: bunnybot, 2019-05-14
• Re: [Merge] lp:~widelands-dev/widelands/per-level-soldier-anims into lp:widelands
  From: GunChleoc, 2019-05-18
• [Merge] lp:~widelands-dev/widelands/per-level-soldier-anims into lp:widelands
  From: bunnybot, 2019-05-18
• Re: [Merge] lp:~widelands-dev/widelands/per-level-soldier-anims into lp:widelands
  From: GunChleoc, 2019-05-18
• [Merge] lp:~widelands-dev/widelands/per-level-soldier-anims into lp:widelands
  From: bunnybot, 2019-05-18
• [Merge] lp:~widelands-dev/widelands/per-level-soldier-anims into lp:widelands
  From: noreply, 2019-05-18
• [Merge] lp:~widelands-dev/widelands/fix-sphinx into lp:widelands
  From: GunChleoc, 2018-09-13
• Re: [Merge] lp:~widelands-dev/widelands/fix-sphinx into lp:widelands
  From: GunChleoc, 2018-09-13
• Re: [Merge] lp:~widelands-dev/widelands/fix-sphinx into lp:widelands
  From: hessenfarmer, 2018-09-13
• Re: [Merge] lp:~widelands-dev/widelands/fix-sphinx into lp:widelands
  From: hessenfarmer, 2018-09-13
• [Merge] lp:~widelands-dev/widelands/fix-sphinx into lp:widelands
  From: bunnybot, 2018-09-13
• [Merge] lp:~widelands-dev/widelands/fix-sphinx into lp:widelands
  From: noreply, 2018-09-13
• [Merge] lp:~widelands-dev/widelands/bug-1751440-smugglers-desync-single-coroutine into lp:widelands
  From: GunChleoc, 2018-09-12
• <Possible follow-ups>
• [Merge] lp:~widelands-dev/widelands/bug-1751440-smugglers-desync-single-coroutine into lp:widelands
  From: GunChleoc, 2018-09-12
• Re: [Merge] lp:~widelands-dev/widelands/bug-1751440-smugglers-desync-single-coroutine into lp:widelands
  From: GunChleoc, 2018-09-12
• Re: [Merge] lp:~widelands-dev/widelands/bug-1751440-smugglers-desync-single-coroutine into lp:widelands
  From: GunChleoc, 2018-09-12
• [Merge] lp:~widelands-dev/widelands/bug-1751440-smugglers-desync-single-coroutine into lp:widelands
  From: bunnybot, 2018-09-12
• [Merge] lp:~widelands-dev/widelands/bug-1751440-smugglers-desync-single-coroutine into lp:widelands
  From: bunnybot, 2018-09-15
• Re: [Merge] lp:~widelands-dev/widelands/bug-1751440-smugglers-desync-single-coroutine into lp:widelands
  From: Klaus Halfmann, 2018-09-28
• Re: [Merge] lp:~widelands-dev/widelands/bug-1751440-smugglers-desync-single-coroutine into lp:widelands
  From: Klaus Halfmann, 2018-09-28
• Re: [Merge] lp:~widelands-dev/widelands/bug-1751440-smugglers-desync-single-coroutine into lp:widelands
  From: Klaus Halfmann, 2018-09-28
• Re: [Merge] lp:~widelands-dev/widelands/bug-1751440-smugglers-desync-single-coroutine into lp:widelands
  From: Klaus Halfmann, 2018-09-28
• Re: [Merge] lp:~widelands-dev/widelands/bug-1751440-smugglers-desync-single-coroutine into lp:widelands
  From: Klaus Halfmann, 2018-09-29
• Re: [Merge] lp:~widelands-dev/widelands/bug-1751440-smugglers-desync-single-coroutine into lp:widelands
  From: GunChleoc, 2018-09-29
• Re: [Merge] lp:~widelands-dev/widelands/bug-1751440-smugglers-desync-single-coroutine into lp:widelands
  From: GunChleoc, 2018-09-29
• [Merge] lp:~widelands-dev/widelands/bug-1751440-smugglers-desync-single-coroutine into lp:widelands
  From: noreply, 2018-09-29
• [Merge] lp:~widelands-dev/widelands/bug-1791891-key-modifier-inputqueue into lp:widelands
  From: Notabilis, 2018-09-11
• Re: [Merge] lp:~widelands-dev/widelands/bug-1791891-key-modifier-inputqueue into lp:widelands
  From: Benedikt Straub, 2018-09-12
• [Merge] lp:~widelands-dev/widelands/bug-1791891-key-modifier-inputqueue into lp:widelands
  From: bunnybot, 2018-09-12
• Re: [Merge] lp:~widelands-dev/widelands/bug-1791891-key-modifier-inputqueue into lp:widelands
  From: GunChleoc, 2018-09-13
• Re: [Merge] lp:~widelands-dev/widelands/bug-1791891-key-modifier-inputqueue into lp:widelands
  From: GunChleoc, 2018-09-15
• Re: [Merge] lp:~widelands-dev/widelands/bug-1791891-key-modifier-inputqueue into lp:widelands
  From: Notabilis, 2018-09-15
• [Merge] lp:~widelands-dev/widelands/bug-1791891-key-modifier-inputqueue into lp:widelands
  From: bunnybot, 2018-09-15
• Re: [Merge] lp:~widelands-dev/widelands/bug-1791891-key-modifier-inputqueue into lp:widelands
  From: GunChleoc, 2018-09-17
• Re: [Merge] lp:~widelands-dev/widelands/bug-1791891-key-modifier-inputqueue into lp:widelands
  From: hessenfarmer, 2018-09-17
• Re: [Merge] lp:~widelands-dev/widelands/bug-1791891-key-modifier-inputqueue into lp:widelands
  From: hessenfarmer, 2018-09-17
• Re: [Merge] lp:~widelands-dev/widelands/bug-1791891-key-modifier-inputqueue into lp:widelands
  From: GunChleoc, 2018-09-17
• Re: [Merge] lp:~widelands-dev/widelands/bug-1791891-key-modifier-inputqueue into lp:widelands
  From: GunChleoc, 2018-09-17
• Re: [Merge] lp:~widelands-dev/widelands/bug-1791891-key-modifier-inputqueue into lp:widelands
  From: Benedikt Straub, 2018-09-17
• Re: [Merge] lp:~widelands-dev/widelands/bug-1791891-key-modifier-inputqueue into lp:widelands
  From: GunChleoc, 2018-09-17
• Re: [Merge] lp:~widelands-dev/widelands/bug-1791891-key-modifier-inputqueue into lp:widelands
  From: Benedikt Straub, 2018-09-17
• Re: [Merge] lp:~widelands-dev/widelands/bug-1791891-key-modifier-inputqueue into lp:widelands
  From: Notabilis, 2018-09-18
• Re: [Merge] lp:~widelands-dev/widelands/bug-1791891-key-modifier-inputqueue into lp:widelands
  From: hessenfarmer, 2018-09-19
• Re: [Merge] lp:~widelands-dev/widelands/bug-1791891-key-modifier-inputqueue into lp:widelands
  From: GunChleoc, 2018-09-19
• Re: [Merge] lp:~widelands-dev/widelands/bug-1791891-key-modifier-inputqueue into lp:widelands
  From: GunChleoc, 2019-04-23
• [Merge] lp:~widelands-dev/widelands/bug-1791891-key-modifier-inputqueue into lp:widelands
  From: bunnybot, 2019-04-23
• [Merge] lp:~widelands-dev/widelands/bug-1791891-key-modifier-inputqueue into lp:widelands
  From: bunnybot, 2019-04-24
• Re: [Merge] lp:~widelands-dev/widelands/bug-1791891-key-modifier-inputqueue into lp:widelands
  From: GunChleoc, 2019-04-24
• [Merge] lp:~widelands-dev/widelands/bug-1791891-key-modifier-inputqueue into lp:widelands
  From: bunnybot, 2019-04-24
• [Merge] lp:~widelands-dev/widelands/bug-1791891-key-modifier-inputqueue into lp:widelands
  From: bunnybot, 2019-04-25
• Re: [Merge] lp:~widelands-dev/widelands/bug-1791891-key-modifier-inputqueue into lp:widelands
  From: GunChleoc, 2019-04-25
• [Merge] lp:~widelands-dev/widelands/bug-1791891-key-modifier-inputqueue into lp:widelands
  From: noreply, 2019-04-25
• [Merge] lp:~widelands-dev/widelands/fix-codecheck-boost-sha1 into lp:widelands
  From: Notabilis, 2018-09-10
• Re: [Merge] lp:~widelands-dev/widelands/fix-codecheck-boost-sha1 into lp:widelands
  From: hessenfarmer, 2018-09-10
• [Merge] lp:~widelands-dev/widelands/fix-codecheck-boost-sha1 into lp:widelands
  From: bunnybot, 2018-09-10
• Re: [Merge] lp:~widelands-dev/widelands/fix-codecheck-boost-sha1 into lp:widelands
  From: GunChleoc, 2018-09-11
• [Merge] lp:~widelands-dev/widelands/fix-codecheck-boost-sha1 into lp:widelands
  From: GunChleoc, 2018-09-11
• [Merge] lp:~widelands-dev/widelands/stock-amounts into lp:widelands
  From: Benedikt Straub, 2018-09-10
• [Merge] lp:~widelands-dev/widelands/stock-amounts into lp:widelands
  From: bunnybot, 2018-09-10
• Re: [Merge] lp:~widelands-dev/widelands/stock-amounts into lp:widelands
  From: GunChleoc, 2018-09-11
• Re: [Merge] lp:~widelands-dev/widelands/stock-amounts into lp:widelands
  From: Benedikt Straub, 2018-09-11
• Re: [Merge] lp:~widelands-dev/widelands/stock-amounts into lp:widelands
  From: hessenfarmer, 2018-09-11
• [Merge] lp:~widelands-dev/widelands/stock-amounts into lp:widelands
  From: bunnybot, 2018-09-11
• Re: [Merge] lp:~widelands-dev/widelands/stock-amounts into lp:widelands
  From: GunChleoc, 2018-09-11
• Re: [Merge] lp:~widelands-dev/widelands/stock-amounts into lp:widelands
  From: GunChleoc, 2018-09-12
• [Merge] lp:~widelands-dev/widelands/stock-amounts into lp:widelands
  From: noreply, 2018-09-12
• [Merge] lp:~widelands-dev/widelands/bug-1434875-net-client-disconnect into lp:widelands
  From: Notabilis, 2018-09-09
• [Merge] lp:~widelands-dev/widelands/bug-1434875-net-client-disconnect into lp:widelands
  From: bunnybot, 2018-09-10
• [Merge] lp:~widelands-dev/widelands/bug-1434875-net-client-disconnect into lp:widelands
  From: bunnybot, 2018-09-10
• Re: [Merge] lp:~widelands-dev/widelands/bug-1434875-net-client-disconnect into lp:widelands
  From: GunChleoc, 2018-09-11
• Re: [Merge] lp:~widelands-dev/widelands/bug-1434875-net-client-disconnect into lp:widelands
  From: Notabilis, 2018-09-11
• [Merge] lp:~widelands-dev/widelands/bug-1434875-net-client-disconnect into lp:widelands
  From: Notabilis, 2018-09-11
• Re: [Merge] lp:~widelands-dev/widelands/bug-1434875-net-client-disconnect into lp:widelands
  From: GunChleoc, 2018-09-12
• Re: [Merge] lp:~widelands-dev/widelands/bug-1434875-net-client-disconnect into lp:widelands
  From: GunChleoc, 2018-09-12
• [Merge] lp:~widelands-dev/widelands/bug-1434875-net-client-disconnect into lp:widelands
  From: bunnybot, 2018-09-12
• Re: [Merge] lp:~widelands-dev/widelands/bug-1434875-net-client-disconnect into lp:widelands
  From: Notabilis, 2018-09-12
• [Merge] lp:~widelands-dev/widelands/bug-1434875-net-client-disconnect into lp:widelands
  From: bunnybot, 2018-09-13
• [Merge] lp:~widelands-dev/widelands/bug-1434875-net-client-disconnect into lp:widelands
  From: bunnybot, 2018-09-14
• Re: [Merge] lp:~widelands-dev/widelands/bug-1434875-net-client-disconnect into lp:widelands
  From: GunChleoc, 2018-09-14
• [Merge] lp:~widelands-dev/widelands/bug-1434875-net-client-disconnect into lp:widelands
  From: noreply, 2018-09-14
• Deleted branches on merge requests will knock out bunnybot
  From: Fòram na Gàidhlig, 2018-09-08
• Re: Deleted branches on merge requests will knock out bunnybot
  From: Toni Förster, 2018-09-08
• Re: Deleted branches on merge requests will knock out bunnybot
  From: Fòram na Gàidhlig, 2018-09-08
• Re: Deleted branches on merge requests will knock out bunnybot
  From: Holger Rapp, 2018-09-09
• [Merge] lp:~widelands-dev/widelands/macos_build_app_ICU into lp:widelands
  From: Toni Förster, 2018-09-07
• Re: [Merge] lp:~widelands-dev/widelands/macos_build_app_ICU into lp:widelands
  From: Klaus Halfmann, 2018-09-07
• Re: [Merge] lp:~widelands-dev/widelands/macos_build_app_ICU into lp:widelands
  From: GunChleoc, 2018-09-08
• [Merge] lp:~widelands-dev/widelands/macos_build_app_ICU into lp:widelands
  From: bunnybot, 2018-09-09
• [Merge] lp:~widelands-dev/widelands/macos_build_app_ICU into lp:widelands
  From: noreply, 2018-09-09
• [Merge] lp:~widelands-dev/widelands/big_inn_missing_animation into lp:widelands
  From: Toni Förster, 2018-09-07
• Re: [Merge] lp:~widelands-dev/widelands/big_inn_missing_animation into lp:widelands
  From: hessenfarmer, 2018-09-07
• Re: [Merge] lp:~widelands-dev/widelands/big_inn_missing_animation into lp:widelands
  From: GunChleoc, 2018-09-08
• [Merge] lp:~widelands-dev/widelands/big_inn_missing_animation into lp:widelands
  From: bunnybot, 2018-09-09
• [Merge] lp:~widelands-dev/widelands/big_inn_missing_animation into lp:widelands
  From: noreply, 2018-09-09
• [Merge] lp:~widelands-dev/widelands/animation_woodhardener into lp:widelands
  From: Toni Förster, 2018-09-07
• Re: [Merge] lp:~widelands-dev/widelands/animation_woodhardener into lp:widelands
  From: hessenfarmer, 2018-09-07
• Re: [Merge] lp:~widelands-dev/widelands/animation_woodhardener into lp:widelands
  From: GunChleoc, 2018-09-08
• [Merge] lp:~widelands-dev/widelands/animation_woodhardener into lp:widelands
  From: bunnybot, 2018-09-09
• [Merge] lp:~widelands-dev/widelands/animation_woodhardener into lp:widelands
  From: noreply, 2018-09-09
• [Merge] lp:~widelands-dev/widelands/windows-logging into lp:widelands
  From: GunChleoc, 2018-09-06
• Re: [Merge] lp:~widelands-dev/widelands/windows-logging into lp:widelands
  From: GunChleoc, 2018-09-09
• [Merge] lp:~widelands-dev/widelands/windows-logging into lp:widelands
  From: bunnybot, 2018-09-09
• Re: [Merge] lp:~widelands-dev/widelands/windows-logging into lp:widelands
  From: hessenfarmer, 2018-09-09
• Re: [Merge] lp:~widelands-dev/widelands/windows-logging into lp:widelands
  From: GunChleoc, 2018-09-10
• [Merge] lp:~widelands-dev/widelands/windows-logging into lp:widelands
  From: noreply, 2018-09-10
• [Merge] lp:~widelands-dev/widelands-website/gdpr_1 into lp:widelands-website
  From: kaputtnik, 2018-09-05
• Re: [Merge] lp:~widelands-dev/widelands-website/gdpr_1 into lp:widelands-website
  From: GunChleoc, 2018-09-08
• Re: [Merge] lp:~widelands-dev/widelands-website/gdpr_1 into lp:widelands-website
  From: kaputtnik, 2018-09-09
• Re: [Merge] lp:~widelands-dev/widelands-website/gdpr_1 into lp:widelands-website
  From: SirVer, 2018-09-09
• Re: [Merge] lp:~widelands-dev/widelands-website/gdpr_1 into lp:widelands-website
  From: kaputtnik, 2018-09-10
• [Merge] lp:~widelands-dev/widelands-website/gdpr_1 into lp:widelands-website
  From: noreply, 2018-09-10
• [Merge] lp:~widelands-dev/widelands/scout-compatibility into lp:widelands
  From: GunChleoc, 2018-09-05
• [Merge] lp:~widelands-dev/widelands/scout-compatibility into lp:widelands
  From: bunnybot, 2018-09-06
• Re: [Merge] lp:~widelands-dev/widelands/scout-compatibility into lp:widelands
  From: Notabilis, 2018-09-09
• Re: [Merge] lp:~widelands-dev/widelands/scout-compatibility into lp:widelands
  From: GunChleoc, 2018-09-10
• [Merge] lp:~widelands-dev/widelands/scout-compatibility into lp:widelands
  From: noreply, 2018-09-10
• [Merge] lp:~widelands-dev/widelands/const_portdock_fleet_and_ship_functions into lp:widelands
  From: GunChleoc, 2018-09-05
• [Merge] lp:~widelands-dev/widelands/const_portdock_fleet_and_ship_functions into lp:widelands
  From: bunnybot, 2018-09-05
• Re: [Merge] lp:~widelands-dev/widelands/const_portdock_fleet_and_ship_functions into lp:widelands
  From: Notabilis, 2018-09-09
• Re: [Merge] lp:~widelands-dev/widelands/const_portdock_fleet_and_ship_functions into lp:widelands
  From: GunChleoc, 2018-09-10
• [Merge] lp:~widelands-dev/widelands/const_portdock_fleet_and_ship_functions into lp:widelands
  From: noreply, 2018-09-10
• [Merge] lp:~widelands-dev/widelands/shipyard_statistics into lp:widelands
  From: Toni Förster, 2018-09-03
• [Merge] lp:~widelands-dev/widelands/shipyard_statistics into lp:widelands
  From: bunnybot, 2018-09-04
• Re: [Merge] lp:~widelands-dev/widelands/shipyard_statistics into lp:widelands
  From: GunChleoc, 2018-09-05
• [Merge] lp:~widelands-dev/widelands/shipyard_statistics into lp:widelands
  From: bunnybot, 2018-09-05
• Re: [Merge] lp:~widelands-dev/widelands/shipyard_statistics into lp:widelands
  From: GunChleoc, 2018-09-06
• Re: [Merge] lp:~widelands-dev/widelands/shipyard_statistics into lp:widelands
  From: Toni Förster, 2018-09-06
• Re: [Merge] lp:~widelands-dev/widelands/shipyard_statistics into lp:widelands
  From: GunChleoc, 2018-09-07
• [Merge] lp:~widelands-dev/widelands/shipyard_statistics into lp:widelands
  From: bunnybot, 2018-09-09
• Re: [Merge] lp:~widelands-dev/widelands/shipyard_statistics into lp:widelands
  From: Toni Förster, 2018-09-09
• [Merge] lp:~widelands-dev/widelands/shipyard_statistics into lp:widelands
  From: noreply, 2018-09-09
• [Merge] lp:~widelands-dev/widelands/bug-1772168-unused-key-in-luatable into lp:widelands
  From: GunChleoc, 2018-09-03
• [Merge] lp:~widelands-dev/widelands/bug-1772168-unused-key-in-luatable into lp:widelands
  From: bunnybot, 2018-09-03
• Re: [Merge] lp:~widelands-dev/widelands/bug-1772168-unused-key-in-luatable into lp:widelands
  From: Notabilis, 2018-09-09
• Re: [Merge] lp:~widelands-dev/widelands/bug-1772168-unused-key-in-luatable into lp:widelands
  From: Benedikt Straub, 2018-09-10
• Re: [Merge] lp:~widelands-dev/widelands/bug-1772168-unused-key-in-luatable into lp:widelands
  From: GunChleoc, 2018-09-10
• [Merge] lp:~widelands-dev/widelands/bug-1772168-unused-key-in-luatable into lp:widelands
  From: bunnybot, 2018-09-10
• Re: [Merge] lp:~widelands-dev/widelands/bug-1772168-unused-key-in-luatable into lp:widelands
  From: hessenfarmer, 2018-09-11
• [Merge] lp:~widelands-dev/widelands/bug-1772168-unused-key-in-luatable into lp:widelands
  From: bunnybot, 2018-09-11
• Re: [Merge] lp:~widelands-dev/widelands/bug-1772168-unused-key-in-luatable into lp:widelands
  From: hessenfarmer, 2018-09-11
• [Merge] lp:~widelands-dev/widelands/bug-1772168-unused-key-in-luatable into lp:widelands
  From: bunnybot, 2018-09-12
• Re: [Merge] lp:~widelands-dev/widelands/bug-1772168-unused-key-in-luatable into lp:widelands
  From: GunChleoc, 2018-09-12
• [Merge] lp:~widelands-dev/widelands/bug-1772168-unused-key-in-luatable into lp:widelands
  From: bunnybot, 2018-09-12
• [Merge] lp:~widelands-dev/widelands/bug-1772168-unused-key-in-luatable into lp:widelands
  From: bunnybot, 2018-09-13
• [Merge] lp:~widelands-dev/widelands/bug-1772168-unused-key-in-luatable into lp:widelands
  From: bunnybot, 2018-09-15
• Re: [Merge] lp:~widelands-dev/widelands/bug-1772168-unused-key-in-luatable into lp:widelands
  From: GunChleoc, 2018-09-15
• [Merge] lp:~widelands-dev/widelands/bug-1772168-unused-key-in-luatable into lp:widelands
  From: noreply, 2018-09-15
• [Merge] lp:~widelands-dev/widelands/bug-1669103-no-automatic-dismantlesitewindow into lp:widelands
  From: GunChleoc, 2018-09-03
• [Merge] lp:~widelands-dev/widelands/bug-1669103-no-automatic-dismantlesitewindow into lp:widelands
  From: bunnybot, 2018-09-03
• Re: [Merge] lp:~widelands-dev/widelands/bug-1669103-no-automatic-dismantlesitewindow into lp:widelands
  From: Notabilis, 2018-09-11
• Re: [Merge] lp:~widelands-dev/widelands/bug-1669103-no-automatic-dismantlesitewindow into lp:widelands
  From: GunChleoc, 2018-09-12
• [Merge] lp:~widelands-dev/widelands/bug-1669103-no-automatic-dismantlesitewindow into lp:widelands
  From: noreply, 2018-09-12
• [Merge] lp:~widelands-dev/widelands/appveyor_glbinding_with_boost_downgrade into lp:widelands
  From: GunChleoc, 2018-09-03
• Re: [Merge] lp:~widelands-dev/widelands/appveyor_glbinding_with_boost_downgrade into lp:widelands
  From: hessenfarmer, 2018-09-03
• [Merge] lp:~widelands-dev/widelands/appveyor_glbinding_with_boost_downgrade into lp:widelands
  From: bunnybot, 2018-09-03
• Re: [Merge] lp:~widelands-dev/widelands/appveyor_glbinding_with_boost_downgrade into lp:widelands
  From: hessenfarmer, 2018-09-03
• Re: [Merge] lp:~widelands-dev/widelands/appveyor_glbinding_with_boost_downgrade into lp:widelands
  From: hessenfarmer, 2018-09-03
• Re: [Merge] lp:~widelands-dev/widelands/appveyor_glbinding_with_boost_downgrade into lp:widelands
  From: hessenfarmer, 2018-09-04
• [Merge] lp:~widelands-dev/widelands/appveyor_glbinding_with_boost_downgrade into lp:widelands
  From: GunChleoc, 2018-09-06
• [Merge] lp:~widelands-dev/widelands/appveyor_glbinding into lp:widelands
  From: GunChleoc, 2018-09-03
• [Merge] lp:~widelands-dev/widelands/appveyor_glbinding into lp:widelands
  From: bunnybot, 2018-09-03
• [Merge] lp:~widelands-dev/widelands/appveyor_glbinding into lp:widelands
  From: GunChleoc, 2018-09-06
• [Merge] lp:~widelands-dev/widelands/appveyor_fix into lp:widelands
  From: hessenfarmer, 2018-09-02
• [Merge] lp:~widelands-dev/widelands/appveyor_fix into lp:widelands
  From: bunnybot, 2018-09-03
• Re: [Merge] lp:~widelands-dev/widelands/appveyor_fix into lp:widelands
  From: hessenfarmer, 2018-09-04
• Re: [Merge] lp:~widelands-dev/widelands/appveyor_fix into lp:widelands
  From: GunChleoc, 2018-09-04
• Re: [Merge] lp:~widelands-dev/widelands/appveyor_fix into lp:widelands
  From: hessenfarmer, 2018-09-04
• Re: [Merge] lp:~widelands-dev/widelands/appveyor_fix into lp:widelands
  From: hessenfarmer, 2018-09-04
• Re: [Merge] lp:~widelands-dev/widelands/appveyor_fix into lp:widelands
  From: GunChleoc, 2018-09-05
• Re: [Merge] lp:~widelands-dev/widelands/appveyor_fix into lp:widelands
  From: hessenfarmer, 2018-09-05

 •  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