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/translation_stats into lp:widelands, (continued)
  • [Merge] lp:~widelands-dev/widelands/translation_stats into lp:widelands
    From: bunnybot, 2017-10-10
  • Re: [Merge] lp:~widelands-dev/widelands/translation_stats into lp:widelands
    From: kaputtnik, 2017-10-10
  • Re: [Merge] lp:~widelands-dev/widelands/translation_stats into lp:widelands
    From: SirVer, 2017-10-23
  • Re: [Merge] lp:~widelands-dev/widelands/translation_stats into lp:widelands
    From: GunChleoc, 2017-10-24
  • Re: [Merge] lp:~widelands-dev/widelands/translation_stats into lp:widelands
    From: SirVer, 2017-10-24
  • Re: [Merge] lp:~widelands-dev/widelands/translation_stats into lp:widelands
    From: GunChleoc, 2017-10-24
  • Re: [Merge] lp:~widelands-dev/widelands/translation_stats into lp:widelands
    From: SirVer, 2017-10-24
  • Re: [Merge] lp:~widelands-dev/widelands/translation_stats into lp:widelands
    From: GunChleoc, 2017-10-27
  • Re: [Merge] lp:~widelands-dev/widelands/translation_stats into lp:widelands
    From: GunChleoc, 2017-10-28
  • Re: [Merge] lp:~widelands-dev/widelands/translation_stats into lp:widelands
    From: kaputtnik, 2017-10-30
  • [Merge] lp:~widelands-dev/widelands/translation_stats into lp:widelands
    From: bunnybot, 2017-10-31
  • Re: [Merge] lp:~widelands-dev/widelands/translation_stats into lp:widelands
    From: GunChleoc, 2017-11-01
  • Re: [Merge] lp:~widelands-dev/widelands/translation_stats into lp:widelands
    From: kaputtnik, 2017-11-01
  • Re: [Merge] lp:~widelands-dev/widelands/translation_stats into lp:widelands
    From: GunChleoc, 2017-11-01
  • Re: [Merge] lp:~widelands-dev/widelands/translation_stats into lp:widelands
    From: kaputtnik, 2017-11-01
  • [Merge] lp:~widelands-dev/widelands/translation_stats into lp:widelands
    From: bunnybot, 2017-11-02
  • Re: [Merge] lp:~widelands-dev/widelands/translation_stats into lp:widelands
    From: GunChleoc, 2017-11-02
  • Re: [Merge] lp:~widelands-dev/widelands/translation_stats into lp:widelands
    From: kaputtnik, 2017-11-02
  • Re: [Merge] lp:~widelands-dev/widelands/translation_stats into lp:widelands
    From: GunChleoc, 2017-11-03
  • [Merge] lp:~widelands-dev/widelands/translation_stats into lp:widelands
    From: bunnybot, 2017-11-03
  • Re: [Merge] lp:~widelands-dev/widelands/translation_stats into lp:widelands
    From: kaputtnik, 2017-11-03
  • Re: [Merge] lp:~widelands-dev/widelands/translation_stats into lp:widelands
    From: GunChleoc, 2017-11-03
  • Re: [Merge] lp:~widelands-dev/widelands/translation_stats into lp:widelands
    From: kaputtnik, 2017-11-03
  • Re: [Merge] lp:~widelands-dev/widelands/translation_stats into lp:widelands
    From: GunChleoc, 2017-11-03
  • [Merge] lp:~widelands-dev/widelands/translation_stats into lp:widelands
    From: bunnybot, 2017-11-04
  • Re: [Merge] lp:~widelands-dev/widelands/translation_stats into lp:widelands
    From: GunChleoc, 2017-11-04
  • [Merge] lp:~widelands-dev/widelands/translation_stats into lp:widelands
    From: bunnybot, 2017-11-04
  • [Merge] lp:~widelands-dev/widelands/translation_stats into lp:widelands
    From: noreply, 2017-11-04
• [Merge] lp:~widelands-dev/widelands-website/custom_user_admin_page into lp:widelands-website
  From: kaputtnik, 2017-09-30
• Re: [Merge] lp:~widelands-dev/widelands-website/custom_user_admin_page into lp:widelands-website
  From: GunChleoc, 2017-10-04
• [Merge] lp:~widelands-dev/widelands-website/custom_user_admin_page into lp:widelands-website
  From: noreply, 2017-10-04
• Re: [Merge] lp:~widelands-dev/widelands-website/custom_user_admin_page into lp:widelands-website
  From: kaputtnik, 2017-10-04
• Re: [Merge] lp:~widelands-dev/widelands-website/custom_user_admin_page into lp:widelands-website
  From: kaputtnik, 2017-10-04
• Re: [Merge] lp:~widelands-dev/widelands-website/custom_user_admin_page into lp:widelands-website
  From: GunChleoc, 2017-10-05
• Re: [Merge] lp:~widelands-dev/widelands-website/custom_user_admin_page into lp:widelands-website
  From: kaputtnik, 2017-10-13
• Re: [Merge] lp:~widelands-dev/widelands-website/custom_user_admin_page into lp:widelands-website
  From: GunChleoc, 2017-10-14
• Re: [Merge] lp:~widelands-dev/widelands-website/custom_user_admin_page into lp:widelands-website
  From: kaputtnik, 2017-10-14
• Re: [Merge] lp:~widelands-dev/widelands-website/custom_user_admin_page into lp:widelands-website
  From: GunChleoc, 2017-10-15
• Re: [Merge] lp:~widelands-dev/widelands-website/custom_user_admin_page into lp:widelands-website
  From: GunChleoc, 2017-10-15
• Re: [Merge] lp:~widelands-dev/widelands-website/custom_user_admin_page into lp:widelands-website
  From: kaputtnik, 2017-10-15
• Re: [Merge] lp:~widelands-dev/widelands-website/custom_user_admin_page into lp:widelands-website
  From: GunChleoc, 2017-10-17
• [Merge] lp:~widelands-dev/widelands-website/searching_with_haystack_whoosh into lp:widelands-website
  From: kaputtnik, 2017-09-29
• Re: [Merge] lp:~widelands-dev/widelands-website/searching_with_haystack_whoosh into lp:widelands-website
  From: kaputtnik, 2017-10-01
• Re: [Merge] lp:~widelands-dev/widelands-website/searching_with_haystack_whoosh into lp:widelands-website
  From: Trimardio, 2017-10-01
• Re: [Merge] lp:~widelands-dev/widelands-website/searching_with_haystack_whoosh into lp:widelands-website
  From: kaputtnik, 2017-10-01
• Re: [Merge] lp:~widelands-dev/widelands-website/searching_with_haystack_whoosh into lp:widelands-website
  From: kaputtnik, 2017-10-04
• Re: [Merge] lp:~widelands-dev/widelands-website/searching_with_haystack_whoosh into lp:widelands-website
  From: SirVer, 2017-10-05
• Re: [Merge] lp:~widelands-dev/widelands-website/searching_with_haystack_whoosh into lp:widelands-website
  From: kaputtnik, 2017-10-05
• Re: [Merge] lp:~widelands-dev/widelands-website/searching_with_haystack_whoosh into lp:widelands-website
  From: GunChleoc, 2017-10-09
• Re: [Merge] lp:~widelands-dev/widelands-website/searching_with_haystack_whoosh into lp:widelands-website
  From: kaputtnik, 2017-10-09
• Re: [Merge] lp:~widelands-dev/widelands-website/searching_with_haystack_whoosh into lp:widelands-website
  From: kaputtnik, 2017-10-10
• Re: [Merge] lp:~widelands-dev/widelands-website/searching_with_haystack_whoosh into lp:widelands-website
  From: kaputtnik, 2017-10-10
• Re: [Merge] lp:~widelands-dev/widelands-website/searching_with_haystack_whoosh into lp:widelands-website
  From: kaputtnik, 2017-10-11
• Re: [Merge] lp:~widelands-dev/widelands-website/searching_with_haystack_whoosh into lp:widelands-website
  From: Trimardio, 2017-10-14
• Re: [Merge] lp:~widelands-dev/widelands-website/searching_with_haystack_whoosh into lp:widelands-website
  From: GunChleoc, 2017-10-14
• Re: [Merge] lp:~widelands-dev/widelands-website/searching_with_haystack_whoosh into lp:widelands-website
  From: kaputtnik, 2017-10-14
• Re: [Merge] lp:~widelands-dev/widelands-website/searching_with_haystack_whoosh into lp:widelands-website
  From: GunChleoc, 2017-10-15
• Re: [Merge] lp:~widelands-dev/widelands-website/searching_with_haystack_whoosh into lp:widelands-website
  From: kaputtnik, 2017-10-15
• Re: [Merge] lp:~widelands-dev/widelands-website/searching_with_haystack_whoosh into lp:widelands-website
  From: kaputtnik, 2017-10-16
• Re: [Merge] lp:~widelands-dev/widelands-website/searching_with_haystack_whoosh into lp:widelands-website
  From: kaputtnik, 2017-10-17
• Re: [Merge] lp:~widelands-dev/widelands-website/searching_with_haystack_whoosh into lp:widelands-website
  From: GunChleoc, 2017-10-17
• Re: [Merge] lp:~widelands-dev/widelands-website/searching_with_haystack_whoosh into lp:widelands-website
  From: kaputtnik, 2017-10-26
• Re: [Merge] lp:~widelands-dev/widelands-website/searching_with_haystack_whoosh into lp:widelands-website
  From: SirVer, 2017-10-26
• Re: [Merge] lp:~widelands-dev/widelands-website/searching_with_haystack_whoosh into lp:widelands-website
  From: kaputtnik, 2017-10-26
• Re: [Merge] lp:~widelands-dev/widelands-website/searching_with_haystack_whoosh into lp:widelands-website
  From: kaputtnik, 2017-10-26
• Re: [Merge] lp:~widelands-dev/widelands-website/searching_with_haystack_whoosh into lp:widelands-website
  From: kaputtnik, 2017-10-27
• Re: [Merge] lp:~widelands-dev/widelands-website/searching_with_haystack_whoosh into lp:widelands-website
  From: GunChleoc, 2017-10-28
• Re: [Merge] lp:~widelands-dev/widelands-website/searching_with_haystack_whoosh into lp:widelands-website
  From: kaputtnik, 2017-10-28
• Re: [Merge] lp:~widelands-dev/widelands-website/searching_with_haystack_whoosh into lp:widelands-website
  From: kaputtnik, 2017-10-28
• Re: [Merge] lp:~widelands-dev/widelands-website/searching_with_haystack_whoosh into lp:widelands-website
  From: GunChleoc, 2017-11-02
• Re: [Merge] lp:~widelands-dev/widelands-website/searching_with_haystack_whoosh into lp:widelands-website
  From: kaputtnik, 2017-11-02
• Re: [Merge] lp:~widelands-dev/widelands-website/searching_with_haystack_whoosh into lp:widelands-website
  From: GunChleoc, 2017-11-03
• Re: [Merge] lp:~widelands-dev/widelands-website/searching_with_haystack_whoosh into lp:widelands-website
  From: kaputtnik, 2017-11-03
• Re: [Merge] lp:~widelands-dev/widelands-website/searching_with_haystack_whoosh into lp:widelands-website
  From: kaputtnik, 2017-11-04
• Re: [Merge] lp:~widelands-dev/widelands-website/searching_with_haystack_whoosh into lp:widelands-website
  From: GunChleoc, 2017-11-05
• Re: [Merge] lp:~widelands-dev/widelands-website/searching_with_haystack_whoosh into lp:widelands-website
  From: kaputtnik, 2017-11-06
• [Merge] lp:~widelands-dev/widelands-website/searching_with_haystack_whoosh into lp:widelands-website
  From: noreply, 2017-11-06
• Re: [Merge] lp:~widelands-dev/widelands-website/searching_with_haystack_whoosh into lp:widelands-website
  From: kaputtnik, 2017-11-06
• [Merge] lp:~trimardio/widelands-website/scheduling_module into lp:widelands-website
  From: Trimardio, 2017-09-28
• Re: [Merge] lp:~trimardio/widelands-website/scheduling_module into lp:widelands-website
  From: kaputtnik, 2017-09-28
• Re: [Merge] lp:~trimardio/widelands-website/scheduling_module into lp:widelands-website
  From: SirVer, 2017-09-28
• Re: [Merge] lp:~trimardio/widelands-website/scheduling_module into lp:widelands-website
  From: SirVer, 2017-09-28
• Re: [Merge] lp:~trimardio/widelands-website/scheduling_module into lp:widelands-website
  From: SirVer, 2017-09-28
• Re: [Merge] lp:~trimardio/widelands-website/scheduling_module into lp:widelands-website
  From: Trimardio, 2017-09-29
• Re: [Merge] lp:~trimardio/widelands-website/scheduling_module into lp:widelands-website
  From: kaputtnik, 2017-09-29
• Re: [Merge] lp:~trimardio/widelands-website/scheduling_module into lp:widelands-website
  From: Trimardio, 2017-09-29
• Re: [Merge] lp:~trimardio/widelands-website/scheduling_module into lp:widelands-website
  From: Trimardio, 2017-09-29
• Re: [Merge] lp:~trimardio/widelands-website/scheduling_module into lp:widelands-website
  From: SirVer, 2017-10-19
• Re: [Merge] lp:~trimardio/widelands-website/scheduling_module into lp:widelands-website
  From: kaputtnik, 2017-10-19
• Re: [Merge] lp:~trimardio/widelands-website/scheduling_module into lp:widelands-website
  From: GunChleoc, 2017-10-21
• Re: [Merge] lp:~trimardio/widelands-website/scheduling_module into lp:widelands-website
  From: Trimardio, 2017-10-23
• Re: [Merge] lp:~trimardio/widelands-website/scheduling_module into lp:widelands-website
  From: Trimardio, 2017-12-22
• Re: [Merge] lp:~trimardio/widelands-website/scheduling_module into lp:widelands-website
  From: Trimardio, 2017-12-22
• Re: [Merge] lp:~trimardio/widelands-website/scheduling_module into lp:widelands-website
  From: kaputtnik, 2017-12-22
• [Merge] lp:~widelands-dev/widelands-website/update_jvascript into lp:widelands-website
  From: kaputtnik, 2017-09-23
• Re: [Merge] lp:~widelands-dev/widelands-website/update_jvascript into lp:widelands-website
  From: kaputtnik, 2017-09-23
• Re: [Merge] lp:~widelands-dev/widelands-website/update_jvascript into lp:widelands-website
  From: kaputtnik, 2017-09-26
• Re: [Merge] lp:~widelands-dev/widelands-website/update_jvascript into lp:widelands-website
  From: SirVer, 2017-09-28
• Re: [Merge] lp:~widelands-dev/widelands-website/update_jvascript into lp:widelands-website
  From: SirVer, 2017-09-28
• [Merge] lp:~widelands-dev/widelands-website/update_jvascript into lp:widelands-website
  From: noreply, 2017-09-28
• Re: [Merge] lp:~widelands-dev/widelands-website/update_jvascript into lp:widelands-website
  From: kaputtnik, 2017-09-28
• [Merge] lp:~widelands-dev/widelands/market1 into lp:widelands
  From: SirVer, 2017-09-22
• Re: [Merge] lp:~widelands-dev/widelands/market1 into lp:widelands
  From: SirVer, 2017-09-22
• [Merge] lp:~widelands-dev/widelands/market1 into lp:widelands
  From: bunnybot, 2017-09-23
• Re: [Merge] lp:~widelands-dev/widelands/market1 into lp:widelands
  From: SirVer, 2017-09-23
• Re: [Merge] lp:~widelands-dev/widelands/market1 into lp:widelands
  From: SirVer, 2017-09-23
• [Merge] lp:~widelands-dev/widelands/market1 into lp:widelands
  From: bunnybot, 2017-09-23
• Re: [Merge] lp:~widelands-dev/widelands/market1 into lp:widelands
  From: TiborB, 2017-09-26
• Re: [Merge] lp:~widelands-dev/widelands/market1 into lp:widelands
  From: GunChleoc, 2017-09-29
• Re: [Merge] lp:~widelands-dev/widelands/market1 into lp:widelands
  From: SirVer, 2017-10-03
• [Merge] lp:~widelands-dev/widelands/market1 into lp:widelands
  From: noreply, 2017-10-04
• Re: [Merge] lp:~widelands-dev/widelands/market1 into lp:widelands
  From: GunChleoc, 2017-10-04
• [Merge] lp:~widelands-dev/widelands/gcc_optimize into lp:widelands
  From: Tino, 2017-09-20
• [Merge] lp:~widelands-dev/widelands/gcc_optimize into lp:widelands
  From: bunnybot, 2017-09-21
• Re: [Merge] lp:~widelands-dev/widelands/gcc_optimize into lp:widelands
  From: SirVer, 2017-09-22
• [Merge] lp:~widelands-dev/widelands/gcc_optimize into lp:widelands
  From: noreply, 2017-09-22
• Re: [Merge] lp:~widelands-dev/widelands/bug-986611-cppcheck-mopup into lp:widelands
  From: SirVer, 2017-09-20
• [Merge] lp:~trimardio/widelands-website/scheduling into lp:widelands-website
  From: Trimardio, 2017-09-19
• Re: [Merge] lp:~trimardio/widelands-website/scheduling into lp:widelands-website
  From: kaputtnik, 2017-09-19
• Re: [Merge] lp:~trimardio/widelands-website/scheduling into lp:widelands-website
  From: kaputtnik, 2017-09-19
• Re: [Merge] lp:~trimardio/widelands-website/scheduling into lp:widelands-website
  From: Trimardio, 2017-09-19
• Re: [Merge] lp:~trimardio/widelands-website/scheduling into lp:widelands-website
  From: Trimardio, 2017-09-19
• Re: [Merge] lp:~trimardio/widelands-website/scheduling into lp:widelands-website
  From: kaputtnik, 2017-09-20
• Re: [Merge] lp:~trimardio/widelands-website/scheduling into lp:widelands-website
  From: kaputtnik, 2017-09-20
• Re: [Merge] lp:~trimardio/widelands-website/scheduling into lp:widelands-website
  From: SirVer, 2017-09-20
• Re: [Merge] lp:~trimardio/widelands-website/scheduling into lp:widelands-website
  From: Trimardio, 2017-09-20
• Re: [Merge] lp:~trimardio/widelands-website/scheduling into lp:widelands-website
  From: kaputtnik, 2017-09-20
• Re: [Merge] lp:~trimardio/widelands-website/scheduling into lp:widelands-website
  From: Trimardio, 2017-09-25
• Re: [Merge] lp:~trimardio/widelands-website/scheduling into lp:widelands-website
  From: SirVer, 2017-09-28
• Re: [Merge] lp:~trimardio/widelands-website/scheduling into lp:widelands-website
  From: Trimardio, 2017-09-28
• [Merge] lp:~widelands-dev/widelands/fix_resolution_change_mouse_bug into lp:widelands
  From: SirVer, 2017-09-17
• Re: [Merge] lp:~widelands-dev/widelands/fix_resolution_change_mouse_bug into lp:widelands
  From: kaputtnik, 2017-09-17
• [Merge] lp:~widelands-dev/widelands/fix_resolution_change_mouse_bug into lp:widelands
  From: bunnybot, 2017-09-17
• Re: [Merge] lp:~widelands-dev/widelands/fix_resolution_change_mouse_bug into lp:widelands
  From: SirVer, 2017-09-18
• [Merge] lp:~widelands-dev/widelands/fix_resolution_change_mouse_bug into lp:widelands
  From: bunnybot, 2017-09-18
• [Merge] lp:~widelands-dev/widelands/fix_resolution_change_mouse_bug into lp:widelands
  From: noreply, 2017-09-18
• Re: [Merge] lp:~widelands-dev/widelands/fix_resolution_change_mouse_bug into lp:widelands
  From: GunChleoc, 2017-09-18
• [Merge] lp:~widelands-dev/widelands/market into lp:widelands
  From: SirVer, 2017-09-15
• [Merge] lp:~widelands-dev/widelands/market into lp:widelands
  From: SirVer, 2017-09-15
• [Merge] lp:~widelands-dev/widelands/market into lp:widelands
  From: SirVer, 2017-09-15
• [Merge] lp:~widelands-dev/widelands/market into lp:widelands
  From: bunnybot, 2017-09-15
• Re: [Merge] lp:~widelands-dev/widelands/market into lp:widelands
  From: GunChleoc, 2017-09-15
• Re: [Merge] lp:~widelands-dev/widelands/market into lp:widelands
  From: GunChleoc, 2017-09-15
• [Merge] lp:~widelands-dev/widelands/market into lp:widelands
  From: bunnybot, 2017-09-16
• Re: [Merge] lp:~widelands-dev/widelands/market into lp:widelands
  From: SirVer, 2017-09-17
• Re: [Merge] lp:~widelands-dev/widelands/market into lp:widelands
  From: kaputtnik, 2017-09-17
• Re: [Merge] lp:~widelands-dev/widelands/market into lp:widelands
  From: SirVer, 2017-09-18
• [Merge] lp:~widelands-dev/widelands/market into lp:widelands
  From: bunnybot, 2017-09-18
• [Merge] lp:~widelands-dev/widelands/market into lp:widelands
  From: SirVer, 2017-09-18
• Re: [Merge] lp:~widelands-dev/widelands/market into lp:widelands
  From: SirVer, 2017-09-18
• [Merge] lp:~widelands-dev/widelands/market into lp:widelands
  From: bunnybot, 2017-09-18
• Re: [Merge] lp:~widelands-dev/widelands/market into lp:widelands
  From: SirVer, 2017-09-18
• [Merge] lp:~widelands-dev/widelands/market into lp:widelands
  From: noreply, 2017-09-18
• Re: [Merge] lp:~widelands-dev/widelands/market into lp:widelands
  From: GunChleoc, 2017-09-19
• Re: [Merge] lp:~widelands-dev/widelands/market into lp:widelands
  From: SirVer, 2017-09-20
• [Merge] lp:~widelands-dev/widelands/kill_overlay_manager into lp:widelands
  From: SirVer, 2017-09-13
• Re: [Merge] lp:~widelands-dev/widelands/kill_overlay_manager into lp:widelands
  From: SirVer, 2017-09-13
• [Merge] lp:~widelands-dev/widelands/kill_overlay_manager into lp:widelands
  From: bunnybot, 2017-09-13
• Re: [Merge] lp:~widelands-dev/widelands/kill_overlay_manager into lp:widelands
  From: kaputtnik, 2017-09-13
• [Merge] lp:~widelands-dev/widelands/kill_overlay_manager into lp:widelands
  From: bunnybot, 2017-09-13
• Re: [Merge] lp:~widelands-dev/widelands/kill_overlay_manager into lp:widelands
  From: GunChleoc, 2017-09-15
• [Merge] lp:~widelands-dev/widelands/kill_overlay_manager into lp:widelands
  From: noreply, 2017-09-15
• Re: [Merge] lp:~widelands-dev/widelands/reduce_overlay_manager_use3 into lp:widelands
  From: SirVer, 2017-09-11
• [Merge] lp:~widelands-dev/widelands/reduce_overlay_manager_use3 into lp:widelands
  From: SirVer, 2017-09-11
• [Merge] lp:~widelands-dev/widelands/reduce_overlay_manager_use3 into lp:widelands
  From: SirVer, 2017-09-11
• Re: [Merge]lp:~widelands-dev/widelands/reduce_overlay_manager_use3 into lp:widelands
  From: GunChleoc, 2017-09-11
• Re: [Merge] lp:~widelands-dev/widelands/reduce_overlay_manager_use3 into lp:widelands
  From: SirVer, 2017-09-11
• [Merge] lp:~widelands-dev/widelands/reduce_overlay_manager_use3 into lp:widelands
  From: bunnybot, 2017-09-11
• Re: [Merge] lp:~widelands-dev/widelands/reduce_overlay_manager_use3 into lp:widelands
  From: GunChleoc, 2017-09-11
• Re: [Merge] lp:~widelands-dev/widelands/reduce_overlay_manager_use3 into lp:widelands
  From: kaputtnik, 2017-09-12
• Re: [Merge] lp:~widelands-dev/widelands/reduce_overlay_manager_use3 into lp:widelands
  From: SirVer, 2017-09-13
• [Merge] lp:~widelands-dev/widelands/reduce_overlay_manager_use3 into lp:widelands
  From: noreply, 2017-09-13
• [Merge] lp:~widelands-dev/widelands/fix_ui_bugs into lp:widelands
  From: SirVer, 2017-09-04
• [Merge] lp:~widelands-dev/widelands/fix_ui_bugs into lp:widelands
  From: bunnybot, 2017-09-04
• [Merge] lp:~widelands-dev/widelands/fix_ui_bugs into lp:widelands
  From: bunnybot, 2017-09-05
• Re: [Merge] lp:~widelands-dev/widelands/fix_ui_bugs into lp:widelands
  From: GunChleoc, 2017-09-10
• Re: [Merge] lp:~widelands-dev/widelands/fix_ui_bugs into lp:widelands
  From: SirVer, 2017-09-11
• Re: [Merge] lp:~widelands-dev/widelands/fix_ui_bugs into lp:widelands
  From: kaputtnik, 2017-09-11
• [Merge] lp:~widelands-dev/widelands/fix_ui_bugs into lp:widelands
  From: noreply, 2017-09-11
• Re: [Merge] lp:~widelands-dev/widelands/fix_ui_bugs into lp:widelands
  From: kaputtnik, 2017-09-11
• Re: [Merge] lp:~widelands-dev/widelands/fix_ui_bugs into lp:widelands
  From: SirVer, 2017-09-11
• [Merge] lp:~widelands-dev/widelands/ai_adjust_hints into lp:widelands
  From: Benedikt Straub, 2017-09-04
• Re: [Merge] lp:~widelands-dev/widelands/ai_adjust_hints into lp:widelands
  From: TiborB, 2017-09-04
• [Merge] lp:~widelands-dev/widelands/ai_adjust_hints into lp:widelands
  From: bunnybot, 2017-09-04
• Re: [Merge] lp:~widelands-dev/widelands/ai_adjust_hints into lp:widelands
  From: GunChleoc, 2017-09-10
• [Merge] lp:~widelands-dev/widelands/ai_adjust_hints into lp:widelands
  From: noreply, 2017-09-10
• Re: [Merge] lp:~widelands-dev/widelands/add_animation_option into lp:widelands
  From: SirVer, 2017-09-03
• [Merge] lp:~widelands-dev/widelands/add_animation_option into lp:widelands
  From: SirVer, 2017-09-03
• [Merge] lp:~widelands-dev/widelands/add_animation_option into lp:widelands
  From: bunnybot, 2017-09-04
• Re: [Merge] lp:~widelands-dev/widelands/add_animation_option into lp:widelands
  From: kaputtnik, 2017-09-04
• Re: [Merge] lp:~widelands-dev/widelands/add_animation_option into lp:widelands
  From: SirVer, 2017-09-05
• Re: [Merge] lp:~widelands-dev/widelands/add_animation_option into lp:widelands
  From: kaputtnik, 2017-09-05
• Re: [Merge] lp:~widelands-dev/widelands/add_animation_option into lp:widelands
  From: SirVer, 2017-09-06
• Re: [Merge] lp:~widelands-dev/widelands/add_animation_option into lp:widelands
  From: GunChleoc, 2017-09-10
• [Merge] lp:~widelands-dev/widelands/add_animation_option into lp:widelands
  From: SirVer, 2017-09-11
• Re: [Merge] lp:~widelands-dev/widelands/add_animation_option into lp:widelands
  From: SirVer, 2017-09-11
• Re: [Merge]lp:~widelands-dev/widelands/add_animation_option into lp:widelands
  From: GunChleoc, 2017-09-11
• Re: [Merge] lp:~widelands-dev/widelands/add_animation_option into lp:widelands
  From: kaputtnik, 2017-09-11
• [Merge] lp:~widelands-dev/widelands/add_animation_option into lp:widelands
  From: noreply, 2017-09-11
• [Merge] lp:~widelands-dev/widelands/reduce_overlay_manager_use2 into lp:widelands
  From: SirVer, 2017-09-03

 •  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