widelands-dev team mailing list archive

1. widelands-dev team
2. Mailing list archive
3. Messages by thread

Messages by thread

Messages sent to the widelands-dev mailing list, ordered by thread from the newest to oldest.

• [Merge] lp:~widelands-dev/widelands/bug-1406298-campvis-file into lp:widelands, (continued)
  • [Merge] lp:~widelands-dev/widelands/bug-1406298-campvis-file into lp:widelands
    From: bunnybot, 2018-07-08
  • Re: [Merge] lp:~widelands-dev/widelands/bug-1406298-campvis-file into lp:widelands
    From: GunChleoc, 2018-07-08
  • [Merge] lp:~widelands-dev/widelands/bug-1406298-campvis-file into lp:widelands
    From: bunnybot, 2018-07-08
  • Re: [Merge] lp:~widelands-dev/widelands/bug-1406298-campvis-file into lp:widelands
    From: Klaus Halfmann, 2018-07-08
  • [Merge] lp:~widelands-dev/widelands/bug-1406298-campvis-file into lp:widelands
    From: noreply, 2018-07-08
• [Merge] lp:~widelands-dev/widelands/bug-1659133-animation-scaling into lp:widelands
  From: GunChleoc, 2018-05-27
• [Merge] lp:~widelands-dev/widelands/bug-1659133-animation-scaling into lp:widelands
  From: bunnybot, 2018-05-27
• Re: [Merge] lp:~widelands-dev/widelands/bug-1659133-animation-scaling into lp:widelands
  From: Klaus Halfmann, 2018-06-03
• Re: [Merge] lp:~widelands-dev/widelands/bug-1659133-animation-scaling into lp:widelands
  From: Klaus Halfmann, 2018-06-03
• [Merge] lp:~widelands-dev/widelands/bug-1659133-animation-scaling into lp:widelands
  From: noreply, 2018-06-03
• [Merge] lp:~widelands-dev/widelands/bug-1769344-sp-thinks-too-much into lp:widelands
  From: GunChleoc, 2018-05-26
• [Merge] lp:~widelands-dev/widelands/bug-1769344-sp-thinks-too-much into lp:widelands
  From: bunnybot, 2018-05-27
• Re: [Merge] lp:~widelands-dev/widelands/bug-1769344-sp-thinks-too-much into lp:widelands
  From: Notabilis, 2018-05-27
• Re: [Merge] lp:~widelands-dev/widelands/bug-1769344-sp-thinks-too-much into lp:widelands
  From: GunChleoc, 2018-07-06
• [Merge] lp:~widelands-dev/widelands/bug-1769344-sp-thinks-too-much into lp:widelands
  From: bunnybot, 2018-07-06
• Re: [Merge] lp:~widelands-dev/widelands/bug-1769344-sp-thinks-too-much into lp:widelands
  From: Notabilis, 2018-07-07
• Re: [Merge] lp:~widelands-dev/widelands/bug-1769344-sp-thinks-too-much into lp:widelands
  From: GunChleoc, 2018-07-07
• [Merge] lp:~widelands-dev/widelands/bug-1769344-sp-thinks-too-much into lp:widelands
  From: bunnybot, 2018-07-07
• Re: [Merge] lp:~widelands-dev/widelands/bug-1769344-sp-thinks-too-much into lp:widelands
  From: GunChleoc, 2018-07-07
• [Merge] lp:~widelands-dev/widelands/bug-1769344-sp-thinks-too-much into lp:widelands
  From: noreply, 2018-07-07
• [Merge] lp:~widelands-dev/widelands/bug-1658668-sp-ai into lp:widelands
  From: GunChleoc, 2018-05-26
• [Merge] lp:~widelands-dev/widelands/bug-1658668-sp-ai into lp:widelands
  From: bunnybot, 2018-05-26
• Re: [Merge] lp:~widelands-dev/widelands/bug-1658668-sp-ai into lp:widelands
  From: Notabilis, 2018-05-27
• Re: [Merge] lp:~widelands-dev/widelands/bug-1658668-sp-ai into lp:widelands
  From: GunChleoc, 2018-05-28
• [Merge] lp:~widelands-dev/widelands/bug-1658668-sp-ai into lp:widelands
  From: noreply, 2018-05-28
• [Merge] lp:~widelands-dev/widelands/frisian_balancing into lp:widelands
  From: hessenfarmer, 2018-05-22
• [Merge] lp:~widelands-dev/widelands/frisian_balancing into lp:widelands
  From: bunnybot, 2018-05-22
• Re: [Merge] lp:~widelands-dev/widelands/frisian_balancing into lp:widelands
  From: GunChleoc, 2018-05-23
• Re: [Merge] lp:~widelands-dev/widelands/frisian_balancing into lp:widelands
  From: Benedikt Straub, 2018-05-24
• Re: [Merge] lp:~widelands-dev/widelands/frisian_balancing into lp:widelands
  From: GunChleoc, 2018-05-23
• Re: [Merge] lp:~widelands-dev/widelands/frisian_balancing into lp:widelands
  From: GunChleoc, 2018-05-25
• Re: [Merge] lp:~widelands-dev/widelands/frisian_balancing into lp:widelands
  From: Klaus Halfmann, 2018-06-13
• Re: [Merge] lp:~widelands-dev/widelands/frisian_balancing into lp:widelands
  From: hessenfarmer, 2018-06-14
• Re: [Merge] lp:~widelands-dev/widelands/frisian_balancing into lp:widelands
  From: Klaus Halfmann, 2018-06-14
• Re: [Merge] lp:~widelands-dev/widelands/frisian_balancing into lp:widelands
  From: hessenfarmer, 2018-06-14
• Re: [Merge] lp:~widelands-dev/widelands/frisian_balancing into lp:widelands
  From: GunChleoc, 2018-06-16
• [Merge] lp:~widelands-dev/widelands/frisian_balancing into lp:widelands
  From: GunChleoc, 2018-06-16
• [Merge] lp:~widelands-dev/widelands/frisian_balancing into lp:widelands
  From: noreply, 2018-06-19
• [Merge] lp:~widelands-dev/widelands/bug-1656245-scrollbar-mousewheel into lp:widelands
  From: GunChleoc, 2018-05-22
• [Merge] lp:~widelands-dev/widelands/bug-1656245-scrollbar-mousewheel into lp:widelands
  From: bunnybot, 2018-05-22
• Re: [Merge] lp:~widelands-dev/widelands/bug-1656245-scrollbar-mousewheel into lp:widelands
  From: Notabilis, 2018-05-27
• Re: [Merge] lp:~widelands-dev/widelands/bug-1656245-scrollbar-mousewheel into lp:widelands
  From: GunChleoc, 2018-05-28
• [Merge] lp:~widelands-dev/widelands/bug-1656245-scrollbar-mousewheel into lp:widelands
  From: noreply, 2018-05-28
• [Merge] lp:~widelands-dev/widelands/bug-1610507-disallowed-filename-characters into lp:widelands
  From: GunChleoc, 2018-05-22
• [Merge] lp:~widelands-dev/widelands/bug-1610507-disallowed-filename-characters into lp:widelands
  From: bunnybot, 2018-05-22
• [Merge] lp:~widelands-dev/widelands/bug-1610507-disallowed-filename-characters into lp:widelands
  From: bunnybot, 2018-05-23
• Re: [Merge] lp:~widelands-dev/widelands/bug-1610507-disallowed-filename-characters into lp:widelands
  From: Notabilis, 2018-05-27
• Re: [Merge] lp:~widelands-dev/widelands/bug-1610507-disallowed-filename-characters into lp:widelands
  From: GunChleoc, 2018-05-28
• Re: [Merge] lp:~widelands-dev/widelands/bug-1610507-disallowed-filename-characters into lp:widelands
  From: Notabilis, 2018-05-29
• Re: [Merge] lp:~widelands-dev/widelands/bug-1610507-disallowed-filename-characters into lp:widelands
  From: GunChleoc, 2018-05-30
• Re: [Merge] lp:~widelands-dev/widelands/bug-1610507-disallowed-filename-characters into lp:widelands
  From: GunChleoc, 2018-06-01
• [Merge] lp:~widelands-dev/widelands/bug-1610507-disallowed-filename-characters into lp:widelands
  From: noreply, 2018-06-01
• [Merge] lp:~widelands-dev/widelands/bug-1733280-replay_filenames into lp:widelands
  From: GunChleoc, 2018-05-15
• [Merge] lp:~widelands-dev/widelands/bug-1733280-replay_filenames into lp:widelands
  From: bunnybot, 2018-05-15
• [Merge] lp:~widelands-dev/widelands/bug-1733280-replay_filenames into lp:widelands
  From: bunnybot, 2018-05-16
• Re: [Merge] lp:~widelands-dev/widelands/bug-1733280-replay_filenames into lp:widelands
  From: Notabilis, 2018-05-27
• Re: [Merge] lp:~widelands-dev/widelands/bug-1733280-replay_filenames into lp:widelands
  From: GunChleoc, 2018-05-28
• Re: [Merge] lp:~widelands-dev/widelands/bug-1733280-replay_filenames into lp:widelands
  From: Notabilis, 2018-05-28
• Re: [Merge] lp:~widelands-dev/widelands/bug-1733280-replay_filenames into lp:widelands
  From: GunChleoc, 2018-05-31
• Re: [Merge] lp:~widelands-dev/widelands/bug-1733280-replay_filenames into lp:widelands
  From: Notabilis, 2018-05-31
• Re: [Merge] lp:~widelands-dev/widelands/bug-1733280-replay_filenames into lp:widelands
  From: GunChleoc, 2018-05-31
• Re: [Merge] lp:~widelands-dev/widelands/bug-1733280-replay_filenames into lp:widelands
  From: Notabilis, 2018-06-01
• [Merge] lp:~widelands-dev/widelands/bug-1733280-replay_filenames into lp:widelands
  From: bunnybot, 2018-06-01
• Re: [Merge] lp:~widelands-dev/widelands/bug-1733280-replay_filenames into lp:widelands
  From: GunChleoc, 2018-06-04
• Re: [Merge] lp:~widelands-dev/widelands/bug-1733280-replay_filenames into lp:widelands
  From: Notabilis, 2018-06-04
• [Merge] lp:~widelands-dev/widelands/bug-1733280-replay_filenames into lp:widelands
  From: bunnybot, 2018-06-05
• Re: [Merge] lp:~widelands-dev/widelands/bug-1733280-replay_filenames into lp:widelands
  From: GunChleoc, 2018-06-07
• Re: [Merge] lp:~widelands-dev/widelands/bug-1733280-replay_filenames into lp:widelands
  From: Notabilis, 2018-06-07
• [Merge] lp:~widelands-dev/widelands/bug-1733280-replay_filenames into lp:widelands
  From: bunnybot, 2018-06-08
• Re: [Merge] lp:~widelands-dev/widelands/bug-1733280-replay_filenames into lp:widelands
  From: GunChleoc, 2018-06-08
• [Merge] lp:~widelands-dev/widelands/bug-1733280-replay_filenames into lp:widelands
  From: noreply, 2018-06-08
• [Merge] lp:~widelands-dev/widelands/bug-1741779-map-description-edit-cutoff into lp:widelands
  From: GunChleoc, 2018-05-14
• [Merge] lp:~widelands-dev/widelands/bug-1741779-map-description-edit-cutoff into lp:widelands
  From: bunnybot, 2018-05-14
• Re: [Merge] lp:~widelands-dev/widelands/bug-1741779-map-description-edit-cutoff into lp:widelands
  From: Notabilis, 2018-05-18
• Re: [Merge] lp:~widelands-dev/widelands/bug-1741779-map-description-edit-cutoff into lp:widelands
  From: GunChleoc, 2018-05-18
• Re: [Merge] lp:~widelands-dev/widelands/bug-1741779-map-description-edit-cutoff into lp:widelands
  From: Notabilis, 2018-05-19
• Re: [Merge] lp:~widelands-dev/widelands/bug-1741779-map-description-edit-cutoff into lp:widelands
  From: GunChleoc, 2018-05-22
• [Merge] lp:~widelands-dev/widelands/bug-1741779-map-description-edit-cutoff into lp:widelands
  From: bunnybot, 2018-05-22
• Re: [Merge] lp:~widelands-dev/widelands/bug-1741779-map-description-edit-cutoff into lp:widelands
  From: Notabilis, 2018-05-23
• [Merge] lp:~widelands-dev/widelands/bug-1741779-map-description-edit-cutoff into lp:widelands
  From: bunnybot, 2018-05-23
• Re: [Merge] lp:~widelands-dev/widelands/bug-1741779-map-description-edit-cutoff into lp:widelands
  From: GunChleoc, 2018-05-25
• Re: [Merge] lp:~widelands-dev/widelands/bug-1741779-map-description-edit-cutoff into lp:widelands
  From: Notabilis, 2018-05-26
• Re: [Merge] lp:~widelands-dev/widelands/bug-1741779-map-description-edit-cutoff into lp:widelands
  From: kaputtnik, 2018-05-26
• Re: [Merge] lp:~widelands-dev/widelands/bug-1741779-map-description-edit-cutoff into lp:widelands
  From: GunChleoc, 2018-05-27
• Re: [Merge] lp:~widelands-dev/widelands/bug-1741779-map-description-edit-cutoff into lp:widelands
  From: Notabilis, 2018-05-27
• Re: [Merge] lp:~widelands-dev/widelands/bug-1741779-map-description-edit-cutoff into lp:widelands
  From: GunChleoc, 2018-05-28
• Re: [Merge] lp:~widelands-dev/widelands/bug-1741779-map-description-edit-cutoff into lp:widelands
  From: GunChleoc, 2018-06-01
• [Merge] lp:~widelands-dev/widelands/bug-1741779-map-description-edit-cutoff into lp:widelands
  From: noreply, 2018-06-01
• [Merge] lp:~widelands-dev/widelands/bug-message-removal into lp:widelands
  From: Notabilis, 2018-05-13
• [Merge] lp:~widelands-dev/widelands/bug-message-removal into lp:widelands
  From: bunnybot, 2018-05-13
• Re: [Merge] lp:~widelands-dev/widelands/bug-message-removal into lp:widelands
  From: GunChleoc, 2018-05-14
• Re: [Merge] lp:~widelands-dev/widelands/bug-message-removal into lp:widelands
  From: GunChleoc, 2018-05-14
• [Merge] lp:~widelands-dev/widelands/bug-message-removal into lp:widelands
  From: noreply, 2018-05-14
• [Merge] lp:~widelands-dev/widelands/bug-keyboard-after-save-delete into lp:widelands
  From: Notabilis, 2018-05-13
• Re: [Merge] lp:~widelands-dev/widelands/bug-keyboard-after-save-delete into lp:widelands
  From: GunChleoc, 2018-05-13
• Re: [Merge] lp:~widelands-dev/widelands/bug-keyboard-after-save-delete into lp:widelands
  From: Klaus Halfmann, 2018-05-13
• Re: [Merge] lp:~widelands-dev/widelands/bug-keyboard-after-save-delete into lp:widelands
  From: Klaus Halfmann, 2018-05-13
• Re: [Merge] lp:~widelands-dev/widelands/bug-keyboard-after-save-delete into lp:widelands
  From: Notabilis, 2018-05-13
• Re: [Merge] lp:~widelands-dev/widelands/bug-keyboard-after-save-delete into lp:widelands
  From: Klaus Halfmann, 2018-05-13
• [Merge] lp:~widelands-dev/widelands/bug-keyboard-after-save-delete into lp:widelands
  From: bunnybot, 2018-05-13
• Re: [Merge] lp:~widelands-dev/widelands/bug-keyboard-after-save-delete into lp:widelands
  From: GunChleoc, 2018-05-14
• [Merge] lp:~widelands-dev/widelands/bug-keyboard-after-save-delete into lp:widelands
  From: noreply, 2018-05-14
• [Merge] lp:~widelands-dev/widelands/bug-impregnable-castles into lp:widelands
  From: Notabilis, 2018-05-13
• Re: [Merge] lp:~widelands-dev/widelands/bug-impregnable-castles into lp:widelands
  From: GunChleoc, 2018-05-13
• [Merge] lp:~widelands-dev/widelands/bug-impregnable-castles into lp:widelands
  From: bunnybot, 2018-05-13
• Re: [Merge] lp:~widelands-dev/widelands/bug-impregnable-castles into lp:widelands
  From: GunChleoc, 2018-05-14
• [Merge] lp:~widelands-dev/widelands/bug-impregnable-castles into lp:widelands
  From: noreply, 2018-05-14
• [Merge] lp:~widelands-dev/widelands-website/bug-1770881_fix_pagination_model_names into lp:widelands-website
  From: kaputtnik, 2018-05-12
• Re: [Merge] lp:~widelands-dev/widelands-website/bug-1770881_fix_pagination_model_names into lp:widelands-website
  From: GunChleoc, 2018-05-13
• [Merge] lp:~widelands-dev/widelands-website/bug-1770881_fix_pagination_model_names into lp:widelands-website
  From: noreply, 2018-05-13
• Re: [Merge] lp:~widelands-dev/widelands-website/bug-1770881_fix_pagination_model_names into lp:widelands-website
  From: kaputtnik, 2018-05-13
• [Merge] lp:~widelands-dev/widelands/bug-1636586-editor-player-menu-i18n into lp:widelands
  From: GunChleoc, 2018-05-12
• [Merge] lp:~widelands-dev/widelands/bug-1636586-editor-player-menu-i18n into lp:widelands
  From: bunnybot, 2018-05-13
• Re: [Merge] lp:~widelands-dev/widelands/bug-1636586-editor-player-menu-i18n into lp:widelands
  From: Notabilis, 2018-05-14
• Re: [Merge] lp:~widelands-dev/widelands/bug-1636586-editor-player-menu-i18n into lp:widelands
  From: GunChleoc, 2018-05-15
• [Merge] lp:~widelands-dev/widelands/bug-1636586-editor-player-menu-i18n into lp:widelands
  From: noreply, 2018-05-15
• [Merge] lp:~widelands-dev/widelands-website/solitaire_html_documentation into lp:widelands-website
  From: kaputtnik, 2018-05-12
• [Merge] lp:~widelands-dev/widelands-website/solitaire_html_documentation into lp:widelands-website
  From: kaputtnik, 2018-05-12
• [Merge] lp:~widelands-dev/widelands-website/solitaire_html_documentation into lp:widelands-website
  From: kaputtnik, 2018-05-12
• Re: [Merge] lp:~widelands-dev/widelands-website/solitaire_html_documentation into lp:widelands-website
  From: GunChleoc, 2018-05-13
• Re: [Merge] lp:~widelands-dev/widelands-website/solitaire_html_documentation into lp:widelands-website
  From: kaputtnik, 2018-05-13
• Re: [Merge] lp:~widelands-dev/widelands-website/solitaire_html_documentation into lp:widelands-website
  From: kaputtnik, 2018-05-14
• Re: [Merge] lp:~widelands-dev/widelands-website/solitaire_html_documentation into lp:widelands-website
  From: kaputtnik, 2018-05-15
• Re: [Merge] lp:~widelands-dev/widelands-website/solitaire_html_documentation into lp:widelands-website
  From: kaputtnik, 2018-05-15
• Re: [Merge] lp:~widelands-dev/widelands-website/solitaire_html_documentation into lp:widelands-website
  From: GunChleoc, 2018-05-23
• Re: [Merge] lp:~widelands-dev/widelands-website/solitaire_html_documentation into lp:widelands-website
  From: kaputtnik, 2018-05-23
• Re: [Merge] lp:~widelands-dev/widelands-website/solitaire_html_documentation into lp:widelands-website
  From: kaputtnik, 2018-05-24
• Re: [Merge] lp:~widelands-dev/widelands-website/solitaire_html_documentation into lp:widelands-website
  From: GunChleoc, 2018-05-25
• [Merge] lp:~widelands-dev/widelands-website/solitaire_html_documentation into lp:widelands-website
  From: noreply, 2018-05-27
• Re: [Merge] lp:~widelands-dev/widelands-website/solitaire_html_documentation into lp:widelands-website
  From: kaputtnik, 2018-05-27
• Re: [Merge] lp:~widelands-dev/widelands-website/solitaire_html_documentation into lp:widelands-website
  From: GunChleoc, 2018-05-28
• [Merge] lp:~widelands-dev/widelands/bug-1627374-chat-input into lp:widelands
  From: GunChleoc, 2018-05-12
• [Merge] lp:~widelands-dev/widelands/bug-1627374-chat-input into lp:widelands
  From: bunnybot, 2018-05-12
• Re: [Merge] lp:~widelands-dev/widelands/bug-1627374-chat-input into lp:widelands
  From: Notabilis, 2018-05-14
• Re: [Merge] lp:~widelands-dev/widelands/bug-1627374-chat-input into lp:widelands
  From: GunChleoc, 2018-05-16
• Re: [Merge] lp:~widelands-dev/widelands/bug-1627374-chat-input into lp:widelands
  From: Notabilis, 2018-05-16
• [Merge] lp:~widelands-dev/widelands/bug-1627374-chat-input into lp:widelands
  From: bunnybot, 2018-05-16
• Re: [Merge] lp:~widelands-dev/widelands/bug-1627374-chat-input into lp:widelands
  From: GunChleoc, 2018-05-17
• Re: [Merge] lp:~widelands-dev/widelands/bug-1627374-chat-input into lp:widelands
  From: Notabilis, 2018-05-17
• Re: [Merge] lp:~widelands-dev/widelands/bug-1627374-chat-input into lp:widelands
  From: GunChleoc, 2018-05-18
• [Merge] lp:~widelands-dev/widelands/bug-1627374-chat-input into lp:widelands
  From: noreply, 2018-05-18
• [Merge] lp:~widelands-dev/widelands/ai_handler_includes into lp:widelands
  From: GunChleoc, 2018-05-12
• Re: [Merge] lp:~widelands-dev/widelands/ai_handler_includes into lp:widelands
  From: GunChleoc, 2018-05-12
• [Merge] lp:~widelands-dev/widelands/ai_handler_includes into lp:widelands
  From: bunnybot, 2018-05-12
• [Merge] lp:~widelands-dev/widelands/ai_handler_includes into lp:widelands
  From: noreply, 2018-05-12
• [Merge] lp:~widelands-dev/widelands/bug-1749146-multiline-editbox into lp:widelands
  From: GunChleoc, 2018-05-12
• Re: [Merge] lp:~widelands-dev/widelands/bug-1749146-multiline-editbox into lp:widelands
  From: Klaus Halfmann, 2018-05-12
• Re: [Merge] lp:~widelands-dev/widelands/bug-1749146-multiline-editbox into lp:widelands
  From: GunChleoc, 2018-05-12
• [Merge] lp:~widelands-dev/widelands/bug-1749146-multiline-editbox into lp:widelands
  From: bunnybot, 2018-05-12
• [Merge] lp:~widelands-dev/widelands/bug-1749146-multiline-editbox into lp:widelands
  From: noreply, 2018-05-12
• [Merge] lp:~widelands-dev/widelands/bug-1736086-map-without-players into lp:widelands
  From: GunChleoc, 2018-05-11
• [Merge] lp:~widelands-dev/widelands/bug-1736086-map-without-players into lp:widelands
  From: bunnybot, 2018-05-11
• Re: [Merge] lp:~widelands-dev/widelands/bug-1736086-map-without-players into lp:widelands
  From: Klaus Halfmann, 2018-05-22
• Re: [Merge] lp:~widelands-dev/widelands/bug-1736086-map-without-players into lp:widelands
  From: Klaus Halfmann, 2018-05-22
• [Merge] lp:~widelands-dev/widelands/bug-1736086-map-without-players into lp:widelands
  From: noreply, 2018-05-22
• Re: [Merge] lp:~widelands-dev/widelands/bug-1736086-map-without-players into lp:widelands
  From: GunChleoc, 2018-05-23
• [Merge] lp:~widelands-dev/widelands/bug-1696063-editor-save-map into lp:widelands
  From: GunChleoc, 2018-05-10
• [Merge] lp:~widelands-dev/widelands/bug-1696063-editor-save-map into lp:widelands
  From: bunnybot, 2018-05-10
• Re: [Merge] lp:~widelands-dev/widelands/bug-1696063-editor-save-map into lp:widelands
  From: Klaus Halfmann, 2018-05-21
• Re: [Merge] lp:~widelands-dev/widelands/bug-1696063-editor-save-map into lp:widelands
  From: Klaus Halfmann, 2018-05-21
• [Merge] lp:~widelands-dev/widelands/bug-1696063-editor-save-map into lp:widelands
  From: bunnybot, 2018-05-21
• Re: [Merge] lp:~widelands-dev/widelands/bug-1696063-editor-save-map into lp:widelands
  From: Klaus Halfmann, 2018-05-21
• Re: [Merge] lp:~widelands-dev/widelands/bug-1696063-editor-save-map into lp:widelands
  From: GunChleoc, 2018-05-22
• [Merge] lp:~widelands-dev/widelands/bug-1696063-editor-save-map into lp:widelands
  From: noreply, 2018-05-22
• [Merge] lp:~widelands-dev/widelands/lan-promotion-memory-leak into lp:widelands
  From: GunChleoc, 2018-05-10
• Re: [Merge] lp:~widelands-dev/widelands/lan-promotion-memory-leak into lp:widelands
  From: Klaus Halfmann, 2018-05-10
• Re: [Merge] lp:~widelands-dev/widelands/lan-promotion-memory-leak into lp:widelands
  From: Klaus Halfmann, 2018-05-10
• Re: [Merge] lp:~widelands-dev/widelands/lan-promotion-memory-leak into lp:widelands
  From: Notabilis, 2018-05-10
• [Merge] lp:~widelands-dev/widelands/lan-promotion-memory-leak into lp:widelands
  From: bunnybot, 2018-05-10
• Re: [Merge] lp:~widelands-dev/widelands/lan-promotion-memory-leak into lp:widelands
  From: GunChleoc, 2018-05-10
• Re: [Merge] lp:~widelands-dev/widelands/lan-promotion-memory-leak into lp:widelands
  From: Notabilis, 2018-05-10
• Re: [Merge] lp:~widelands-dev/widelands/lan-promotion-memory-leak into lp:widelands
  From: GunChleoc, 2018-05-11
• Re: [Merge] lp:~widelands-dev/widelands/lan-promotion-memory-leak into lp:widelands
  From: Notabilis, 2018-05-11
• Re: [Merge] lp:~widelands-dev/widelands/lan-promotion-memory-leak into lp:widelands
  From: GunChleoc, 2018-05-11
• [Merge] lp:~widelands-dev/widelands/lan-promotion-memory-leak into lp:widelands
  From: noreply, 2018-05-11
• [Merge] lp:~widelands-dev/widelands/bug-1766672-multiplayer-closed-slots into lp:widelands
  From: GunChleoc, 2018-05-10
• [Merge] lp:~widelands-dev/widelands/bug-1766672-multiplayer-closed-slots into lp:widelands
  From: bunnybot, 2018-05-10
• Re: [Merge] lp:~widelands-dev/widelands/bug-1766672-multiplayer-closed-slots into lp:widelands
  From: Notabilis, 2018-05-10
• Re: [Merge] lp:~widelands-dev/widelands/bug-1766672-multiplayer-closed-slots into lp:widelands
  From: GunChleoc, 2018-05-10
• [Merge] lp:~widelands-dev/widelands/bug-1766672-multiplayer-closed-slots into lp:widelands
  From: noreply, 2018-05-10
• [Merge] lp:~widelands-dev/widelands/bug-1732765-economy-refactoring into lp:widelands
  From: GunChleoc, 2018-05-09
• Re: [Merge] lp:~widelands-dev/widelands/bug-1732765-economy-refactoring into lp:widelands
  From: TiborB, 2018-05-09
• [Merge] lp:~widelands-dev/widelands/bug-1732765-economy-refactoring into lp:widelands
  From: GunChleoc, 2018-05-09
• Re: [Merge] lp:~widelands-dev/widelands/bug-1732765-economy-refactoring into lp:widelands
  From: GunChleoc, 2018-05-09
• Re: [Merge] lp:~widelands-dev/widelands/bug-1732765-economy-refactoring into lp:widelands
  From: GunChleoc, 2018-05-09
• <Possible follow-ups>
• [Merge] lp:~widelands-dev/widelands/bug-1732765-economy-refactoring into lp:widelands
  From: GunChleoc, 2018-05-12
• [Merge] lp:~widelands-dev/widelands/bug-1732765-economy-refactoring into lp:widelands
  From: bunnybot, 2018-05-12
• [Merge] lp:~widelands-dev/widelands/bug-1732765-economy-refactoring into lp:widelands
  From: bunnybot, 2018-05-13
• Re: [Merge] lp:~widelands-dev/widelands/bug-1732765-economy-refactoring into lp:widelands
  From: Klaus Halfmann, 2018-05-22
• Re: [Merge] lp:~widelands-dev/widelands/bug-1732765-economy-refactoring into lp:widelands
  From: Klaus Halfmann, 2018-05-23
• Re: [Merge] lp:~widelands-dev/widelands/bug-1732765-economy-refactoring into lp:widelands
  From: GunChleoc, 2018-05-25
• Re: [Merge] lp:~widelands-dev/widelands/bug-1732765-economy-refactoring into lp:widelands
  From: GunChleoc, 2018-05-25
• Re: [Merge] lp:~widelands-dev/widelands/bug-1732765-economy-refactoring into lp:widelands
  From: GunChleoc, 2018-05-26
• Re: [Merge] lp:~widelands-dev/widelands/bug-1732765-economy-refactoring into lp:widelands
  From: Klaus Halfmann, 2018-05-27
• Re: [Merge] lp:~widelands-dev/widelands/bug-1732765-economy-refactoring into lp:widelands
  From: GunChleoc, 2018-05-28
• Re: [Merge] lp:~widelands-dev/widelands/bug-1732765-economy-refactoring into lp:widelands
  From: Klaus Halfmann, 2018-06-02
• [Merge] lp:~widelands-dev/widelands/bug-1732765-economy-refactoring into lp:widelands
  From: bunnybot, 2018-06-02
• Re: [Merge] lp:~widelands-dev/widelands/bug-1732765-economy-refactoring into lp:widelands
  From: Klaus Halfmann, 2018-06-02
• Re: [Merge] lp:~widelands-dev/widelands/bug-1732765-economy-refactoring into lp:widelands
  From: ypopezios, 2018-06-02
• [Merge] lp:~widelands-dev/widelands/bug-1732765-economy-refactoring into lp:widelands
  From: bunnybot, 2018-06-02

 •  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