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-website/update_third_party_2017 into lp:widelands-website, (continued)
  • Re: [Merge] lp:~widelands-dev/widelands-website/update_third_party_2017 into lp:widelands-website
    From: GunChleoc, 2017-06-23
  • Re: [Merge] lp:~widelands-dev/widelands-website/update_third_party_2017 into lp:widelands-website
    From: GunChleoc, 2017-06-23
  • Re: [Merge] lp:~widelands-dev/widelands-website/update_third_party_2017 into lp:widelands-website
    From: kaputtnik, 2017-06-23
  • Re: [Merge] lp:~widelands-dev/widelands-website/update_third_party_2017 into lp:widelands-website
    From: kaputtnik, 2017-06-23
  • Re: [Merge] lp:~widelands-dev/widelands-website/update_third_party_2017 into lp:widelands-website
    From: GunChleoc, 2017-06-26
  • Re: [Merge] lp:~widelands-dev/widelands-website/update_third_party_2017 into lp:widelands-website
    From: kaputtnik, 2017-06-26
  • [Merge] lp:~widelands-dev/widelands-website/update_third_party_2017 into lp:widelands-website
    From: noreply, 2017-07-04
  • Re: [Merge] lp:~widelands-dev/widelands-website/update_third_party_2017 into lp:widelands-website
    From: kaputtnik, 2017-07-04
• [Merge] lp:~widelands-dev/widelands-metaserver/ipv6 into lp:widelands-metaserver
  From: Notabilis, 2017-06-20
• Re: [Merge] lp:~widelands-dev/widelands-metaserver/ipv6 into lp:widelands-metaserver
  From: SirVer, 2017-06-21
• Re: [Merge] lp:~widelands-dev/widelands-metaserver/ipv6 into lp:widelands-metaserver
  From: Notabilis, 2017-06-21
• Re: [Merge] lp:~widelands-dev/widelands-metaserver/ipv6 into lp:widelands-metaserver
  From: Notabilis, 2017-06-22
• [Merge] lp:~widelands-dev/widelands-metaserver/ipv6 into lp:widelands-metaserver
  From: Notabilis, 2017-06-26
• Re: [Merge] lp:~widelands-dev/widelands-metaserver/ipv6 into lp:widelands-metaserver
  From: Notabilis, 2017-06-26
• [Merge] lp:~widelands-dev/widelands/net-internetgaming-ipv6 into lp:widelands
  From: Notabilis, 2017-06-20
• [Merge] lp:~widelands-dev/widelands/net-internetgaming-ipv6 into lp:widelands
  From: bunnybot, 2017-06-21
• Re: [Merge] lp:~widelands-dev/widelands/net-internetgaming-ipv6 into lp:widelands
  From: GunChleoc, 2017-06-21
• Re: [Merge] lp:~widelands-dev/widelands/net-internetgaming-ipv6 into lp:widelands
  From: Notabilis, 2017-06-21
• Re: [Merge] lp:~widelands-dev/widelands/net-internetgaming-ipv6 into lp:widelands
  From: GunChleoc, 2017-06-21
• Re: [Merge] lp:~widelands-dev/widelands/net-internetgaming-ipv6 into lp:widelands
  From: Notabilis, 2017-06-21
• Re: [Merge] lp:~widelands-dev/widelands/net-internetgaming-ipv6 into lp:widelands
  From: GunChleoc, 2017-06-22
• [Merge] lp:~widelands-dev/widelands/net-internetgaming-ipv6 into lp:widelands
  From: bunnybot, 2017-06-22
• Re: [Merge] lp:~widelands-dev/widelands/net-internetgaming-ipv6 into lp:widelands
  From: SirVer, 2017-06-25
• Re: [Merge] lp:~widelands-dev/widelands/net-internetgaming-ipv6 into lp:widelands
  From: Notabilis, 2017-06-26
• [Merge] lp:~widelands-dev/widelands/net-internetgaming-ipv6 into lp:widelands
  From: bunnybot, 2017-06-27
• Re: [Merge] lp:~widelands-dev/widelands/net-internetgaming-ipv6 into lp:widelands
  From: SirVer, 2017-06-29
• Re: [Merge] lp:~widelands-dev/widelands/net-internetgaming-ipv6 into lp:widelands
  From: Klaus Halfmann, 2017-06-29
• Re: [Merge] lp:~widelands-dev/widelands/net-internetgaming-ipv6 into lp:widelands
  From: Notabilis, 2017-06-29
• Re: [Merge] lp:~widelands-dev/widelands/net-internetgaming-ipv6 into lp:widelands
  From: SirVer, 2017-06-29
• Re: [Merge] lp:~widelands-dev/widelands/net-internetgaming-ipv6 into lp:widelands
  From: Notabilis, 2017-06-29
• Re: [Merge] lp:~widelands-dev/widelands/net-internetgaming-ipv6 into lp:widelands
  From: SirVer, 2017-06-30
• Re: [Merge] lp:~widelands-dev/widelands/net-internetgaming-ipv6 into lp:widelands
  From: Notabilis, 2017-07-01
• Re: [Merge] lp:~widelands-dev/widelands/net-internetgaming-ipv6 into lp:widelands
  From: SirVer, 2017-07-01
• [Merge] lp:~widelands-dev/widelands/net-internetgaming-ipv6 into lp:widelands
  From: noreply, 2017-07-01
• Re: [Merge] lp:~widelands-dev/widelands/net-internetgaming-ipv6 into lp:widelands
  From: Notabilis, 2017-07-01
• Re: [Merge] lp:~widelands-dev/widelands/net-internetgaming-ipv6 into lp:widelands
  From: GunChleoc, 2017-07-04
• [Merge] lp:~widelands-dev/widelands/compiler_warnings_20170619 into lp:widelands
  From: Klaus Halfmann, 2017-06-19
• [Merge] lp:~widelands-dev/widelands/compiler_warnings_20170619 into lp:widelands
  From: bunnybot, 2017-06-19
• [Merge] lp:~widelands-dev/widelands/compiler_warnings_20170619 into lp:widelands
  From: GunChleoc, 2017-06-20
• Re: [Merge] lp:~widelands-dev/widelands/compiler_warnings_20170619 into lp:widelands
  From: GunChleoc, 2017-06-20
• Re: [Merge] lp:~widelands-dev/widelands/compiler_warnings_20170619 into lp:widelands
  From: GunChleoc, 2017-06-20
• Re: [Merge] lp:~widelands-dev/widelands/compiler_warnings_20170619 into lp:widelands
  From: Klaus Halfmann, 2017-06-20
• Re: [Merge] lp:~widelands-dev/widelands/compiler_warnings_20170619 into lp:widelands
  From: GunChleoc, 2017-06-20
• Re: [Merge] lp:~widelands-dev/widelands/compiler_warnings_20170619 into lp:widelands
  From: Klaus Halfmann, 2017-06-21
• Re: [Merge] lp:~widelands-dev/widelands/compiler_warnings_20170619 into lp:widelands
  From: GunChleoc, 2017-06-21
• Re: [Merge] lp:~widelands-dev/widelands/compiler_warnings_20170619 into lp:widelands
  From: Klaus Halfmann, 2017-06-22
• Re: [Merge] lp:~widelands-dev/widelands/compiler_warnings_20170619 into lp:widelands
  From: GunChleoc, 2017-06-23
• [Merge] lp:~widelands-dev/widelands/compiler_warnings_20170619 into lp:widelands
  From: noreply, 2017-06-23
• Re: [Merge] lp:~widelands-dev/widelands/00_soldier_control into lp:widelands
  From: SirVer, 2017-06-19
• [Merge] lp:~widelands-dev/widelands/00_soldier_control into lp:widelands
  From: SirVer, 2017-06-19
• [Merge] lp:~widelands-dev/widelands/00_soldier_control into lp:widelands
  From: bunnybot, 2017-06-19
• Re: [Merge] lp:~widelands-dev/widelands/00_soldier_control into lp:widelands
  From: GunChleoc, 2017-06-24
• Re: [Merge] lp:~widelands-dev/widelands/00_soldier_control into lp:widelands
  From: GunChleoc, 2017-06-24
• Re: [Merge] lp:~widelands-dev/widelands/00_soldier_control into lp:widelands
  From: SirVer, 2017-06-24
• [Merge] lp:~widelands-dev/widelands/00_soldier_control into lp:widelands
  From: noreply, 2017-06-24
• [Merge] lp:~widelands-dev/widelands/b19_gcc7 into lp:widelands/build19
  From: GunChleoc, 2017-06-16
• [Merge] lp:~widelands-dev/widelands/b19_gcc7 into lp:widelands/build19
  From: GunChleoc, 2017-06-16
• [Merge] lp:~widelands-dev/widelands/b19_gcc7 into lp:widelands/build19
  From: noreply, 2017-06-17
• Re: [Merge] lp:~widelands-dev/widelands/ai-post-b19-2 into lp:widelands
  From: GunChleoc, 2017-06-16
• [Merge] lp:~widelands-dev/widelands/ai-post-b19-2 into lp:widelands
  From: TiborB, 2017-06-15
• [Merge] lp:~widelands-dev/widelands/ai-post-b19-2 into lp:widelands
  From: bunnybot, 2017-06-16
• [Merge] lp:~widelands-dev/widelands/ai-post-b19-2 into lp:widelands
  From: GunChleoc, 2017-06-16
• <Possible follow-ups>
• [Merge] lp:~widelands-dev/widelands/ai-post-b19-2 into lp:widelands
  From: GunChleoc, 2017-06-16
• [Merge] lp:~widelands-dev/widelands/ai-post-b19-2 into lp:widelands
  From: bunnybot, 2017-06-16
• [Merge] lp:~widelands-dev/widelands/ai-post-b19-2 into lp:widelands
  From: bunnybot, 2017-06-20
• [Merge] lp:~widelands-dev/widelands/ai-post-b19-2 into lp:widelands
  From: bunnybot, 2017-06-20
• [Merge] lp:~widelands-dev/widelands/ai-post-b19-2 into lp:widelands
  From: bunnybot, 2017-06-21
• Re: [Merge] lp:~widelands-dev/widelands/ai-post-b19-2 into lp:widelands
  From: GunChleoc, 2017-06-22
• Re: [Merge] lp:~widelands-dev/widelands/ai-post-b19-2 into lp:widelands
  From: TiborB, 2017-06-22
• Re: [Merge] lp:~widelands-dev/widelands/ai-post-b19-2 into lp:widelands
  From: GunChleoc, 2017-06-22
• Re: [Merge] lp:~widelands-dev/widelands/ai-post-b19-2 into lp:widelands
  From: TiborB, 2017-06-22
• Re: [Merge] lp:~widelands-dev/widelands/ai-post-b19-2 into lp:widelands
  From: GunChleoc, 2017-06-22
• Re: [Merge] lp:~widelands-dev/widelands/ai-post-b19-2 into lp:widelands
  From: TiborB, 2017-06-22
• Re: [Merge] lp:~widelands-dev/widelands/ai-post-b19-2 into lp:widelands
  From: GunChleoc, 2017-06-22
• [Merge] lp:~widelands-dev/widelands/ai-post-b19-2 into lp:widelands
  From: bunnybot, 2017-06-22
• Re: [Merge] lp:~widelands-dev/widelands/ai-post-b19-2 into lp:widelands
  From: GunChleoc, 2017-06-22
• Re: [Merge] lp:~widelands-dev/widelands/ai-post-b19-2 into lp:widelands
  From: TiborB, 2017-06-22
• Re: [Merge] lp:~widelands-dev/widelands/ai-post-b19-2 into lp:widelands
  From: TiborB, 2017-06-22
• Re: [Merge] lp:~widelands-dev/widelands/ai-post-b19-2 into lp:widelands
  From: TiborB, 2017-06-22
• Re: [Merge] lp:~widelands-dev/widelands/ai-post-b19-2 into lp:widelands
  From: GunChleoc, 2017-06-23
• Re: [Merge] lp:~widelands-dev/widelands/ai-post-b19-2 into lp:widelands
  From: TiborB, 2017-06-23
• Re: [Merge] lp:~widelands-dev/widelands/ai-post-b19-2 into lp:widelands
  From: SirVer, 2017-06-23
• Re: [Merge] lp:~widelands-dev/widelands/ai-post-b19-2 into lp:widelands
  From: GunChleoc, 2017-06-24
• Re: [Merge] lp:~widelands-dev/widelands/ai-post-b19-2 into lp:widelands
  From: TiborB, 2017-06-24
• Re: [Merge] lp:~widelands-dev/widelands/ai-post-b19-2 into lp:widelands
  From: TiborB, 2017-06-25
• Re: [Merge] lp:~widelands-dev/widelands/ai-post-b19-2 into lp:widelands
  From: GunChleoc, 2017-06-26
• Re: [Merge] lp:~widelands-dev/widelands/ai-post-b19-2 into lp:widelands
  From: TiborB, 2017-06-26
• Re: [Merge] lp:~widelands-dev/widelands/ai-post-b19-2 into lp:widelands
  From: GunChleoc, 2017-06-26
• Re: [Merge] lp:~widelands-dev/widelands/ai-post-b19-2 into lp:widelands
  From: GunChleoc, 2017-06-27
• Re: [Merge] lp:~widelands-dev/widelands/ai-post-b19-2 into lp:widelands
  From: TiborB, 2017-06-27
• Re: [Merge] lp:~widelands-dev/widelands/ai-post-b19-2 into lp:widelands
  From: TiborB, 2017-06-27
• Re: [Merge] lp:~widelands-dev/widelands/ai-post-b19-2 into lp:widelands
  From: GunChleoc, 2017-06-28
• Re: [Merge] lp:~widelands-dev/widelands/ai-post-b19-2 into lp:widelands
  From: TiborB, 2017-06-28
• Re: [Merge] lp:~widelands-dev/widelands/ai-post-b19-2 into lp:widelands
  From: GunChleoc, 2017-06-28
• Re: [Merge] lp:~widelands-dev/widelands/ai-post-b19-2 into lp:widelands
  From: GunChleoc, 2017-06-28
• [Merge] lp:~widelands-dev/widelands/ai-post-b19-2 into lp:widelands
  From: bunnybot, 2017-06-28
• [Merge] lp:~widelands-dev/widelands/ai-post-b19-2 into lp:widelands
  From: bunnybot, 2017-06-28
• [Merge] lp:~widelands-dev/widelands/ai-post-b19-2 into lp:widelands
  From: bunnybot, 2017-06-30
• [Merge] lp:~widelands-dev/widelands/ai-post-b19-2 into lp:widelands
  From: bunnybot, 2017-07-01
• Re: [Merge] lp:~widelands-dev/widelands/ai-post-b19-2 into lp:widelands
  From: TiborB, 2017-07-02
• Re: [Merge] lp:~widelands-dev/widelands/ai-post-b19-2 into lp:widelands
  From: GunChleoc, 2017-07-04
• Re: [Merge] lp:~widelands-dev/widelands/ai-post-b19-2 into lp:widelands
  From: TiborB, 2017-07-04
• [Merge] lp:~widelands-dev/widelands/ai-post-b19-2 into lp:widelands
  From: noreply, 2017-07-04
• [Merge] lp:~widelands-dev/widelands/compiler_warnings_062017 into lp:widelands
  From: GunChleoc, 2017-06-15
• Re: [Merge] lp:~widelands-dev/widelands/compiler_warnings_062017 into lp:widelands
  From: Klaus Halfmann, 2017-06-15
• Re: [Merge] lp:~widelands-dev/widelands/compiler_warnings_062017 into lp:widelands
  From: Klaus Halfmann, 2017-06-15
• Re: [Merge] lp:~widelands-dev/widelands/compiler_warnings_062017 into lp:widelands
  From: Klaus Halfmann, 2017-06-15
• [Merge] lp:~widelands-dev/widelands/compiler_warnings_062017 into lp:widelands
  From: bunnybot, 2017-06-15
• Re: [Merge] lp:~widelands-dev/widelands/compiler_warnings_062017 into lp:widelands
  From: Klaus Halfmann, 2017-06-15
• Re: [Merge] lp:~widelands-dev/widelands/compiler_warnings_062017 into lp:widelands
  From: GunChleoc, 2017-06-15
• Re: [Merge] lp:~widelands-dev/widelands/compiler_warnings_062017 into lp:widelands
  From: Klaus Halfmann, 2017-06-15
• Re: [Merge] lp:~widelands-dev/widelands/compiler_warnings_062017 into lp:widelands
  From: Klaus Halfmann, 2017-06-15
• Re: [Merge] lp:~widelands-dev/widelands/compiler_warnings_062017 into lp:widelands
  From: GunChleoc, 2017-06-15
• [Merge] lp:~widelands-dev/widelands/compiler_warnings_062017 into lp:widelands
  From: bunnybot, 2017-06-16
• Re: [Merge] lp:~widelands-dev/widelands/compiler_warnings_062017 into lp:widelands
  From: Klaus Halfmann, 2017-06-16
• Re: [Merge] lp:~widelands-dev/widelands/compiler_warnings_062017 into lp:widelands
  From: Klaus Halfmann, 2017-06-16
• Re: [Merge] lp:~widelands-dev/widelands/compiler_warnings_062017 into lp:widelands
  From: Klaus Halfmann, 2017-06-16
• Re: [Merge] lp:~widelands-dev/widelands/compiler_warnings_062017 into lp:widelands
  From: GunChleoc, 2017-06-17
• Re: [Merge] lp:~widelands-dev/widelands/compiler_warnings_062017 into lp:widelands
  From: SirVer, 2017-06-17
• Re: [Merge] lp:~widelands-dev/widelands/compiler_warnings_062017 into lp:widelands
  From: SirVer, 2017-06-17
• Re: [Merge] lp:~widelands-dev/widelands/compiler_warnings_062017 into lp:widelands
  From: Klaus Halfmann, 2017-06-18
• Re: [Merge] lp:~widelands-dev/widelands/compiler_warnings_062017 into lp:widelands
  From: GunChleoc, 2017-06-19
• [Merge] lp:~widelands-dev/widelands/compiler_warnings_062017 into lp:widelands
  From: GunChleoc, 2017-06-20
• [Merge] lp:~widelands-dev/widelands/bug-1697242-fileview into lp:widelands
  From: GunChleoc, 2017-06-11
• Re: [Merge] lp:~widelands-dev/widelands/bug-1697242-fileview into lp:widelands
  From: Klaus Halfmann, 2017-06-11
• Re: [Merge] lp:~widelands-dev/widelands/bug-1697242-fileview into lp:widelands
  From: GunChleoc, 2017-06-12
• [Merge] lp:~widelands-dev/widelands/bug-1697242-fileview into lp:widelands
  From: GunChleoc, 2017-06-12
• [Merge] lp:~widelands-dev/widelands/bug-1697242-fileview into lp:widelands
  From: GunChleoc, 2017-06-12
• [Merge] lp:~widelands-dev/widelands/bug-1697242-fileview into lp:widelands
  From: bunnybot, 2017-06-13
• [Merge] lp:~widelands-dev/widelands/bug-1697242-fileview into lp:widelands
  From: bunnybot, 2017-06-16
• Re: [Merge] lp:~widelands-dev/widelands/bug-1697242-fileview into lp:widelands
  From: kaputtnik, 2017-06-18
• [Merge] lp:~widelands-dev/widelands/bug-1697242-fileview into lp:widelands
  From: GunChleoc, 2017-06-23
• Re: [Merge] lp:~widelands-dev/widelands/bug-1697242-fileview into lp:widelands
  From: GunChleoc, 2017-06-23
• Re: [Merge] lp:~widelands-dev/widelands/bug-1697242-fileview into lp:widelands
  From: kaputtnik, 2017-06-23
• Re: [Merge] lp:~widelands-dev/widelands/bug-1697242-fileview into lp:widelands
  From: kaputtnik, 2017-06-23
• Re: [Merge] lp:~widelands-dev/widelands/bug-1697242-fileview into lp:widelands
  From: GunChleoc, 2017-06-24
• Re: [Merge] lp:~widelands-dev/widelands/bug-1697242-fileview into lp:widelands
  From: kaputtnik, 2017-06-24
• Re: [Merge] lp:~widelands-dev/widelands/bug-1697242-fileview into lp:widelands
  From: SirVer, 2017-08-08
• [Merge] lp:~widelands-dev/widelands/bug-1697242-fileview into lp:widelands
  From: noreply, 2017-08-08
• Re: [Merge] lp:~widelands-dev/widelands/bug-1697242-fileview into lp:widelands
  From: GunChleoc, 2017-08-09
• [Merge] lp:~hjd/widelands/boost-system-dependency into lp:widelands
  From: Hans Joachim Desserud, 2017-06-10
• Re: [Merge] lp:~hjd/widelands/boost-system-dependency into lp:widelands
  From: GunChleoc, 2017-06-10
• Re: [Merge] lp:~hjd/widelands/boost-system-dependency into lp:widelands
  From: Hans Joachim Desserud, 2017-06-11
• [Build #12722186] i386 build of widelands 1:19-ppa0-bzr8377-201706101701~ubuntu17.04.1 in ubuntu zesty RELEASE [~widelands-dev/ubuntu/widelands-daily]
  From: Launchpad Buildd System, 2017-06-10
• [Build #12722185] amd64 build of widelands 1:19-ppa0-bzr8377-201706101701~ubuntu17.04.1 in ubuntu zesty RELEASE [~widelands-dev/ubuntu/widelands-daily]
  From: Launchpad Buildd System, 2017-06-10
• [Build #12722183] amd64 build of widelands 1:19-ppa0-bzr8377-201706101701~ubuntu17.10.1 in ubuntu artful RELEASE [~widelands-dev/ubuntu/widelands-daily]
  From: Launchpad Buildd System, 2017-06-10
• [Build #12722184] i386 build of widelands 1:19-ppa0-bzr8377-201706101701~ubuntu17.10.1 in ubuntu artful RELEASE [~widelands-dev/ubuntu/widelands-daily]
  From: Launchpad Buildd System, 2017-06-10
• [Build #12722176] i386 build of widelands 1:19-ppa0-bzr8377-201706101701~ubuntu14.04.1 in ubuntu trusty RELEASE [~widelands-dev/ubuntu/widelands-daily]
  From: Launchpad Buildd System, 2017-06-10
• [Build #12722179] amd64 build of widelands 1:19-ppa0-bzr8377-201706101701~ubuntu16.10.1 in ubuntu yakkety RELEASE [~widelands-dev/ubuntu/widelands-daily]
  From: Launchpad Buildd System, 2017-06-10
• [Build #12722180] i386 build of widelands 1:19-ppa0-bzr8377-201706101701~ubuntu16.10.1 in ubuntu yakkety RELEASE [~widelands-dev/ubuntu/widelands-daily]
  From: Launchpad Buildd System, 2017-06-10
• [Build #12722177] amd64 build of widelands 1:19-ppa0-bzr8377-201706101701~ubuntu16.04.1 in ubuntu xenial RELEASE [~widelands-dev/ubuntu/widelands-daily]
  From: Launchpad Buildd System, 2017-06-10
• [Build #12722178] i386 build of widelands 1:19-ppa0-bzr8377-201706101701~ubuntu16.04.1 in ubuntu xenial RELEASE [~widelands-dev/ubuntu/widelands-daily]
  From: Launchpad Buildd System, 2017-06-10
• [Build #12722175] amd64 build of widelands 1:19-ppa0-bzr8377-201706101701~ubuntu14.04.1 in ubuntu trusty RELEASE [~widelands-dev/ubuntu/widelands-daily]
  From: Launchpad Buildd System, 2017-06-10
• [Merge] lp:~widelands-dev/widelands/bug-1695701-militarywindow-crash into lp:widelands
  From: GunChleoc, 2017-06-04
• Re: [Merge] lp:~widelands-dev/widelands/bug-1695701-militarywindow-crash into lp:widelands
  From: Klaus Halfmann, 2017-06-04
• Re: [Merge] lp:~widelands-dev/widelands/bug-1695701-militarywindow-crash into lp:widelands
  From: Klaus Halfmann, 2017-06-04
• Re: [Merge] lp:~widelands-dev/widelands/bug-1695701-militarywindow-crash into lp:widelands
  From: Klaus Halfmann, 2017-06-04
• [Merge] lp:~widelands-dev/widelands/bug-1695701-militarywindow-crash into lp:widelands
  From: bunnybot, 2017-06-04
• Re: [Merge] lp:~widelands-dev/widelands/bug-1695701-militarywindow-crash into lp:widelands
  From: GunChleoc, 2017-06-06
• Re: [Merge] lp:~widelands-dev/widelands/bug-1695701-militarywindow-crash into lp:widelands
  From: GunChleoc, 2017-06-06
• Re: [Merge] lp:~widelands-dev/widelands/bug-1695701-militarywindow-crash into lp:widelands
  From: Klaus Halfmann, 2017-06-06
• [Merge] lp:~widelands-dev/widelands/bug-1695701-militarywindow-crash into lp:widelands
  From: GunChleoc, 2017-06-07
• Re: [Merge] lp:~widelands-dev/widelands/bug-1695701-militarywindow-crash into lp:widelands
  From: GunChleoc, 2017-06-07
• [Merge] lp:~widelands-dev/widelands/bug-1695701-militarywindow-crash into lp:widelands
  From: noreply, 2017-06-07
• [Merge] lp:~widelands-dev/widelands/remove_namespace_std into lp:widelands
  From: SirVer, 2017-05-31
• [Merge] lp:~widelands-dev/widelands/remove_namespace_std into lp:widelands
  From: bunnybot, 2017-06-01
• Re: [Merge] lp:~widelands-dev/widelands/remove_namespace_std into lp:widelands
  From: GunChleoc, 2017-06-01
• [Merge] lp:~widelands-dev/widelands/remove_namespace_std into lp:widelands
  From: noreply, 2017-06-01
• [Merge] lp:~widelands-dev/widelands/weaver_spins_gold into lp:widelands
  From: GunChleoc, 2017-05-26
• [Merge] lp:~widelands-dev/widelands/weaver_spins_gold into lp:widelands
  From: bunnybot, 2017-05-27
• Re: [Merge] lp:~widelands-dev/widelands/weaver_spins_gold into lp:widelands
  From: GunChleoc, 2017-05-29
• [Merge] lp:~widelands-dev/widelands/weaver_spins_gold into lp:widelands
  From: GunChleoc, 2017-05-29
• [Merge] lp:~widelands-dev/widelands/recruit_soldier_clones into lp:widelands
  From: GunChleoc, 2017-05-25
• [Merge] lp:~widelands-dev/widelands/recruit_soldier_clones into lp:widelands
  From: bunnybot, 2017-05-26
• Re: [Merge] lp:~widelands-dev/widelands/recruit_soldier_clones into lp:widelands
  From: GunChleoc, 2017-05-27
• [Merge] lp:~widelands-dev/widelands/recruit_soldier_clones into lp:widelands
  From: noreply, 2017-05-27
• [Merge] lp:~widelands-dev/widelands/ai_trainingsites_proportion into lp:widelands
  From: GunChleoc, 2017-05-25
• [Merge] lp:~widelands-dev/widelands/ai_trainingsites_proportion into lp:widelands
  From: GunChleoc, 2017-05-25
• [Merge] lp:~widelands-dev/widelands/ai_trainingsites_proportion into lp:widelands
  From: bunnybot, 2017-05-25
• Re: [Merge] lp:~widelands-dev/widelands/ai_trainingsites_proportion into lp:widelands
  From: TiborB, 2017-06-16
• Re: [Merge] lp:~widelands-dev/widelands/ai_trainingsites_proportion into lp:widelands
  From: GunChleoc, 2017-06-16
• [Merge] lp:~widelands-dev/widelands/ai_trainingsites_proportion into lp:widelands
  From: bunnybot, 2017-06-16
• [Merge] lp:~widelands-dev/widelands/ai_trainingsites_proportion into lp:widelands
  From: bunnybot, 2017-06-16
• [Merge] lp:~widelands-dev/widelands/ai_trainingsites_proportion into lp:widelands
  From: noreply, 2017-06-17
• Re: [Merge] lp:~widelands-dev/widelands/warehouse_refactor into lp:widelands
  From: SirVer, 2017-05-20
• [Merge] lp:~widelands-dev/widelands/warehouse_refactor into lp:widelands
  From: SirVer, 2017-05-20
• Re: [Merge] lp:~widelands-dev/widelands/warehouse_refactor into lp:widelands
  From: GunChleoc, 2017-05-21
• [Merge] lp:~widelands-dev/widelands/warehouse_refactor into lp:widelands
  From: bunnybot, 2017-05-21
• Re: [Merge] lp:~widelands-dev/widelands/warehouse_refactor into lp:widelands
  From: GunChleoc, 2017-05-21
• Re: [Merge] lp:~widelands-dev/widelands/warehouse_refactor into lp:widelands
  From: SirVer, 2017-05-21
• Re: [Merge] lp:~widelands-dev/widelands/warehouse_refactor into lp:widelands
  From: SirVer, 2017-05-21
• [Merge] lp:~widelands-dev/widelands/warehouse_refactor into lp:widelands
  From: noreply, 2017-05-21
• [Merge] lp:~widelands-dev/widelands/bug-1636966-segfault-in-battle into lp:widelands
  From: GunChleoc, 2017-05-20
• Re: [Merge] lp:~widelands-dev/widelands/bug-1636966-segfault-in-battle into lp:widelands
  From: Notabilis, 2017-05-20
• [Merge] lp:~widelands-dev/widelands/bug-1636966-segfault-in-battle into lp:widelands
  From: bunnybot, 2017-05-21
• Re: [Merge] lp:~widelands-dev/widelands/bug-1636966-segfault-in-battle into lp:widelands
  From: GunChleoc, 2017-05-21
• [Merge] lp:~widelands-dev/widelands/bug-1636966-segfault-in-battle into lp:widelands
  From: bunnybot, 2017-05-21
• [Merge] lp:~widelands-dev/widelands/bug-1636966-segfault-in-battle into lp:widelands
  From: noreply, 2017-05-21
• [Merge] lp:~widelands-dev/widelands/net-boost-asio into lp:widelands
  From: Notabilis, 2017-05-20
• [Merge] lp:~widelands-dev/widelands/net-boost-asio into lp:widelands
  From: bunnybot, 2017-05-20

 •  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