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/casern_campaign into lp:widelands, (continued)
  • [Merge] lp:~widelands-dev/widelands/casern_campaign into lp:widelands
    From: bunnybot, 2017-01-06
  • Re: [Merge] lp:~widelands-dev/widelands/casern_campaign into lp:widelands
    From: GunChleoc, 2017-01-17
  • [Merge] lp:~widelands-dev/widelands/casern_campaign into lp:widelands
    From: noreply, 2017-01-17
• [Merge] lp:~widelands-dev/widelands/sound_improvements into lp:widelands
  From: SirVer, 2017-01-03
• [Merge] lp:~widelands-dev/widelands/sound_improvements into lp:widelands
  From: SirVer, 2017-01-03
• [Merge] lp:~widelands-dev/widelands/sound_improvements into lp:widelands
  From: bunnybot, 2017-01-04
• Re: [Merge] lp:~widelands-dev/widelands/sound_improvements into lp:widelands
  From: GunChleoc, 2017-01-06
• Re: [Merge] lp:~widelands-dev/widelands/sound_improvements into lp:widelands
  From: SirVer, 2017-01-08
• [Merge] lp:~widelands-dev/widelands/sound_improvements into lp:widelands
  From: noreply, 2017-01-08
• Re: [Merge] lp:~widelands-dev/widelands/sound_improvements into lp:widelands
  From: GunChleoc, 2017-01-11
• [Merge] lp:~widelands-dev/widelands-website/bug-1399461_error_on_renaming_article into lp:widelands-website
  From: kaputtnik, 2017-01-03
• Re: [Merge] lp:~widelands-dev/widelands-website/bug-1399461_error_on_renaming_article into lp:widelands-website
  From: SirVer, 2017-01-05
• Re: [Merge] lp:~widelands-dev/widelands-website/bug-1399461_error_on_renaming_article into lp:widelands-website
  From: kaputtnik, 2017-01-08
• Re: [Merge] lp:~widelands-dev/widelands-website/bug-1399461_error_on_renaming_article into lp:widelands-website
  From: SirVer, 2017-01-08
• Re: [Merge] lp:~widelands-dev/widelands-website/bug-1399461_error_on_renaming_article into lp:widelands-website
  From: kaputtnik, 2017-01-08
• Re: [Merge] lp:~widelands-dev/widelands-website/bug-1399461_error_on_renaming_article into lp:widelands-website
  From: kaputtnik, 2017-01-12
• Re: [Merge] lp:~widelands-dev/widelands-website/bug-1399461_error_on_renaming_article into lp:widelands-website
  From: SirVer, 2017-01-13
• Re: [Merge] lp:~widelands-dev/widelands-website/bug-1399461_error_on_renaming_article into lp:widelands-website
  From: SirVer, 2017-01-13
• Re: [Merge] lp:~widelands-dev/widelands-website/bug-1399461_error_on_renaming_article into lp:widelands-website
  From: kaputtnik, 2017-01-14
• Re: [Merge] lp:~widelands-dev/widelands-website/bug-1399461_error_on_renaming_article into lp:widelands-website
  From: kaputtnik, 2017-01-15
• Re: [Merge] lp:~widelands-dev/widelands-website/bug-1399461_error_on_renaming_article into lp:widelands-website
  From: kaputtnik, 2017-01-16
• Re: [Merge] lp:~widelands-dev/widelands-website/bug-1399461_error_on_renaming_article into lp:widelands-website
  From: SirVer, 2017-01-16
• Re: [Merge] lp:~widelands-dev/widelands-website/bug-1399461_error_on_renaming_article into lp:widelands-website
  From: kaputtnik, 2017-01-17
• Re: [Merge] lp:~widelands-dev/widelands-website/bug-1399461_error_on_renaming_article into lp:widelands-website
  From: GunChleoc, 2017-01-17
• Re: [Merge] lp:~widelands-dev/widelands-website/bug-1399461_error_on_renaming_article into lp:widelands-website
  From: kaputtnik, 2017-01-17
• [Merge] lp:~widelands-dev/widelands-website/bug-1399461_error_on_renaming_article into lp:widelands-website
  From: noreply, 2017-01-19
• Re: [Merge] lp:~widelands-dev/widelands-website/bug-1399461_error_on_renaming_article into lp:widelands-website
  From: kaputtnik, 2017-01-19
• Re: [Merge] lp:~widelands-dev/widelands-website/bug-1399461_error_on_renaming_article into lp:widelands-website
  From: SirVer, 2017-01-20
• Re: [Merge] lp:~widelands-dev/widelands-website/bug-1399461_error_on_renaming_article into lp:widelands-website
  From: kaputtnik, 2017-01-20
• [Merge] lp:~hjd/widelands/some-cppcheck-fixes into lp:widelands
  From: Hans Joachim Desserud, 2017-01-01
• [Merge] lp:~hjd/widelands/some-cppcheck-fixes into lp:widelands
  From: bunnybot, 2017-01-02
• Re: [Merge] lp:~hjd/widelands/some-cppcheck-fixes into lp:widelands
  From: Klaus Halfmann, 2017-01-02
• [Merge] lp:~widelands-dev/widelands/simplify_messagebox into lp:widelands
  From: SirVer, 2016-12-27
• [Merge] lp:~widelands-dev/widelands/simplify_messagebox into lp:widelands
  From: bunnybot, 2016-12-27
• Re: [Merge] lp:~widelands-dev/widelands/simplify_messagebox into lp:widelands
  From: Klaus Halfmann, 2017-01-02
• Re: [Merge] lp:~widelands-dev/widelands/simplify_messagebox into lp:widelands
  From: Klaus Halfmann, 2017-01-03
• Re: [Merge] lp:~widelands-dev/widelands/simplify_messagebox into lp:widelands
  From: Klaus Halfmann, 2017-01-03
• Re: [Merge] lp:~widelands-dev/widelands/simplify_messagebox into lp:widelands
  From: SirVer, 2017-01-03
• [Merge] lp:~widelands-dev/widelands/simplify_messagebox into lp:widelands
  From: noreply, 2017-01-03
• [Merge] lp:~widelands-dev/widelands/unique_ptr_coroutine into lp:widelands
  From: SirVer, 2016-12-26
• [Merge] lp:~widelands-dev/widelands/unique_ptr_coroutine into lp:widelands
  From: bunnybot, 2016-12-27
• Re: [Merge] lp:~widelands-dev/widelands/unique_ptr_coroutine into lp:widelands
  From: TiborB, 2016-12-27
• [Merge] lp:~widelands-dev/widelands/unique_ptr_coroutine into lp:widelands
  From: bunnybot, 2016-12-28
• [Merge] lp:~widelands-dev/widelands/unique_ptr_coroutine into lp:widelands
  From: bunnybot, 2016-12-28
• Re: [Merge] lp:~widelands-dev/widelands/unique_ptr_coroutine into lp:widelands
  From: SirVer, 2017-01-01
• Re: [Merge] lp:~widelands-dev/widelands/unique_ptr_coroutine into lp:widelands
  From: GunChleoc, 2017-01-06
• Re: [Merge] lp:~widelands-dev/widelands/unique_ptr_coroutine into lp:widelands
  From: Klaus Halfmann, 2017-01-07
• Re: [Merge] lp:~widelands-dev/widelands/unique_ptr_coroutine into lp:widelands
  From: SirVer, 2017-01-08
• [Merge] lp:~widelands-dev/widelands/unique_ptr_coroutine into lp:widelands
  From: noreply, 2017-01-08
• Re: [Merge] lp:~widelands-dev/widelands/unique_ptr_coroutine into lp:widelands
  From: GunChleoc, 2017-01-11
• Re: [Merge] lp:~widelands-dev/widelands/unique_ptr_coroutine into lp:widelands
  From: Klaus Halfmann, 2017-01-12
• Re: [Merge] lp:~widelands-dev/widelands/unique_ptr_coroutine into lp:widelands
  From: SirVer, 2017-01-13
• Re: [Merge] lp:~widelands-dev/widelands/unique_ptr_coroutine into lp:widelands
  From: GunChleoc, 2017-01-17
• [Merge] lp:~widelands-dev/widelands/animation_manager into lp:widelands
  From: SirVer, 2016-12-26
• [Merge] lp:~widelands-dev/widelands/animation_manager into lp:widelands
  From: bunnybot, 2016-12-27
• Re: [Merge] lp:~widelands-dev/widelands/animation_manager into lp:widelands
  From: TiborB, 2016-12-27
• [Merge] lp:~widelands-dev/widelands/animation_manager into lp:widelands
  From: bunnybot, 2016-12-28
• [Merge] lp:~widelands-dev/widelands/animation_manager into lp:widelands
  From: bunnybot, 2016-12-29
• [Merge] lp:~widelands-dev/widelands/animation_manager into lp:widelands
  From: bunnybot, 2016-12-29
• [Merge] lp:~widelands-dev/widelands/animation_manager into lp:widelands
  From: bunnybot, 2016-12-29
• [Merge] lp:~widelands-dev/widelands/animation_manager into lp:widelands
  From: bunnybot, 2016-12-31
• [Merge] lp:~widelands-dev/widelands/animation_manager into lp:widelands
  From: bunnybot, 2016-12-31
• Re: [Merge] lp:~widelands-dev/widelands/animation_manager into lp:widelands
  From: SirVer, 2017-01-02
• [Merge] lp:~widelands-dev/widelands/animation_manager into lp:widelands
  From: SirVer, 2017-01-02
• Re: [Merge] lp:~widelands-dev/widelands/animation_manager into lp:widelands
  From: Klaus Halfmann, 2017-01-02
• [Merge] lp:~widelands-dev/widelands/animation_manager into lp:widelands
  From: bunnybot, 2017-01-02
• Re: [Merge] lp:~widelands-dev/widelands/animation_manager into lp:widelands
  From: TiborB, 2017-01-03
• Re: [Merge] lp:~widelands-dev/widelands/animation_manager into lp:widelands
  From: SirVer, 2017-01-03
• Re: [Merge] lp:~widelands-dev/widelands/animation_manager into lp:widelands
  From: kaputtnik, 2017-01-03
• Re: [Merge] lp:~widelands-dev/widelands/animation_manager into lp:widelands
  From: TiborB, 2017-01-03
• Re: [Merge] lp:~widelands-dev/widelands/animation_manager into lp:widelands
  From: SirVer, 2017-01-03
• Re: [Merge] lp:~widelands-dev/widelands/animation_manager into lp:widelands
  From: SirVer, 2017-01-03
• Re: [Merge] lp:~widelands-dev/widelands/animation_manager into lp:widelands
  From: kaputtnik, 2017-01-03
• Re: [Merge] lp:~widelands-dev/widelands/animation_manager into lp:widelands
  From: TiborB, 2017-01-03
• [Merge] lp:~widelands-dev/widelands/animation_manager into lp:widelands
  From: bunnybot, 2017-01-04
• Re: [Merge] lp:~widelands-dev/widelands/animation_manager into lp:widelands
  From: kaputtnik, 2017-01-04
• Re: [Merge] lp:~widelands-dev/widelands/animation_manager into lp:widelands
  From: TiborB, 2017-01-04
• [Merge] lp:~widelands-dev/widelands/animation_manager into lp:widelands
  From: bunnybot, 2017-01-05
• [Merge] lp:~widelands-dev/widelands/animation_manager into lp:widelands
  From: bunnybot, 2017-01-05
• Re: [Merge] lp:~widelands-dev/widelands/animation_manager into lp:widelands
  From: SirVer, 2017-01-05
• Re: [Merge] lp:~widelands-dev/widelands/animation_manager into lp:widelands
  From: GunChleoc, 2017-01-06
• Re: [Merge] lp:~widelands-dev/widelands/animation_manager into lp:widelands
  From: SirVer, 2017-01-08
• [Merge] lp:~widelands-dev/widelands/animation_manager into lp:widelands
  From: noreply, 2017-01-08
• Re: [Merge] lp:~widelands-dev/widelands/animation_manager into lp:widelands
  From: GunChleoc, 2017-01-11
• Frohes Fest
  From: frank.ue, 2016-12-21
• [Merge] lp:~widelands-dev/widelands/bug-1627537-window-mouserelease into lp:widelands
  From: GunChleoc, 2016-12-21
• [Merge] lp:~widelands-dev/widelands/bug-1627537-window-mouserelease into lp:widelands
  From: bunnybot, 2016-12-21
• [Merge] lp:~widelands-dev/widelands/bug-1627537-window-mouserelease into lp:widelands
  From: bunnybot, 2016-12-22
• [Merge] lp:~widelands-dev/widelands/bug-1627537-window-mouserelease into lp:widelands
  From: bunnybot, 2016-12-22
• Re: [Merge] lp:~widelands-dev/widelands/bug-1627537-window-mouserelease into lp:widelands
  From: Klaus Halfmann, 2016-12-24
• [Merge] lp:~widelands-dev/widelands/bug-1627537-window-mouserelease into lp:widelands
  From: bunnybot, 2017-01-10
• [Merge] lp:~widelands-dev/widelands/bug-1627537-window-mouserelease into lp:widelands
  From: bunnybot, 2017-01-10
• [Merge] lp:~widelands-dev/widelands/bug-1627537-window-mouserelease into lp:widelands
  From: bunnybot, 2017-01-10
• [Merge] lp:~widelands-dev/widelands/bug-1627537-window-mouserelease into lp:widelands
  From: bunnybot, 2017-01-10
• [Merge] lp:~widelands-dev/widelands/bug-1627537-window-mouserelease into lp:widelands
  From: bunnybot, 2017-01-25
• [Merge] lp:~widelands-dev/widelands/bug-1627537-window-mouserelease into lp:widelands
  From: bunnybot, 2017-01-25
• Re: [Merge] lp:~widelands-dev/widelands/bug-1627537-window-mouserelease into lp:widelands
  From: SirVer, 2017-01-30
• [Merge] lp:~widelands-dev/widelands/bug-1627537-window-mouserelease into lp:widelands
  From: noreply, 2017-01-30
• Re: [Merge] lp:~widelands-dev/widelands/bug-1627537-window-mouserelease into lp:widelands
  From: Klaus Halfmann, 2017-01-30
• Re: [Merge] lp:~widelands-dev/widelands/bug-1627537-window-mouserelease into lp:widelands
  From: SirVer, 2017-01-31
• Re: [Merge] lp:~widelands-dev/widelands/bug-1627537-window-mouserelease into lp:widelands
  From: GunChleoc, 2017-01-31
• <Possible follow-ups>
• [Merge] lp:~widelands-dev/widelands/bug-1627537-window-mouserelease into lp:widelands
  From: GunChleoc, 2017-01-31
• [Merge] lp:~widelands-dev/widelands/bug-1627537-window-mouserelease into lp:widelands
  From: bunnybot, 2017-02-01
• Re: [Merge] lp:~widelands-dev/widelands/bug-1627537-window-mouserelease into lp:widelands
  From: SirVer, 2017-02-06
• Re: [Merge] lp:~widelands-dev/widelands/bug-1627537-window-mouserelease into lp:widelands
  From: kaputtnik, 2017-02-06
• Re: [Merge] lp:~widelands-dev/widelands/bug-1627537-window-mouserelease into lp:widelands
  From: GunChleoc, 2017-02-09
• Re: [Merge] lp:~widelands-dev/widelands/bug-1627537-window-mouserelease into lp:widelands
  From: kaputtnik, 2017-02-09
• Re: [Merge] lp:~widelands-dev/widelands/bug-1627537-window-mouserelease into lp:widelands
  From: GunChleoc, 2017-02-09
• Re: [Merge] lp:~widelands-dev/widelands/bug-1627537-window-mouserelease into lp:widelands
  From: kaputtnik, 2017-02-09
• [Merge] lp:~widelands-dev/widelands/bug-1627537-window-mouserelease into lp:widelands
  From: noreply, 2017-02-10
• [Merge] lp:~widelands-dev/widelands/document_mine into lp:widelands
  From: SirVer, 2016-12-18
• [Merge] lp:~widelands-dev/widelands/document_mine into lp:widelands
  From: bunnybot, 2016-12-19
• Re: [Merge] lp:~widelands-dev/widelands/document_mine into lp:widelands
  From: GunChleoc, 2016-12-19
• Re: [Merge] lp:~widelands-dev/widelands/document_mine into lp:widelands
  From: SirVer, 2016-12-19
• Re: [Merge] lp:~widelands-dev/widelands/document_mine into lp:widelands
  From: GunChleoc, 2016-12-20
• [Merge] lp:~widelands-dev/widelands/document_mine into lp:widelands
  From: noreply, 2016-12-20
• [Merge] lp:~widelands-dev/widelands-website/fix_searchresult_ordering into lp:widelands-website
  From: kaputtnik, 2016-12-16
• Re: [Merge] lp:~widelands-dev/widelands-website/fix_searchresult_ordering into lp:widelands-website
  From: kaputtnik, 2016-12-16
• Re: [Merge] lp:~widelands-dev/widelands-website/fix_searchresult_ordering into lp:widelands-website
  From: SirVer, 2016-12-17
• [Merge] lp:~widelands-dev/widelands-website/fix_searchresult_ordering into lp:widelands-website
  From: noreply, 2016-12-17
• Re: [Merge] lp:~widelands-dev/widelands-website/fix_searchresult_ordering into lp:widelands-website
  From: kaputtnik, 2016-12-17
• [Merge] lp:~widelands-dev/widelands-website/static_robots_txt into lp:widelands-website
  From: kaputtnik, 2016-12-15
• Re: [Merge] lp:~widelands-dev/widelands-website/static_robots_txt into lp:widelands-website
  From: SirVer, 2016-12-16
• Re: [Merge] lp:~widelands-dev/widelands-website/static_robots_txt into lp:widelands-website
  From: kaputtnik, 2016-12-16
• Re: [Merge] lp:~widelands-dev/widelands-website/static_robots_txt into lp:widelands-website
  From: SirVer, 2016-12-17
• [Merge] lp:~widelands-dev/widelands-website/static_robots_txt into lp:widelands-website
  From: noreply, 2016-12-17
• Re: [Merge] lp:~widelands-dev/widelands-website/static_robots_txt into lp:widelands-website
  From: kaputtnik, 2016-12-17
• [Merge] lp:~widelands-dev/widelands/wood_gnome_infinite_trees into lp:widelands
  From: SirVer, 2016-12-15
• [Merge] lp:~widelands-dev/widelands/wood_gnome_infinite_trees into lp:widelands
  From: SirVer, 2016-12-15
• [Merge] lp:~widelands-dev/widelands/wood_gnome_infinite_trees into lp:widelands
  From: SirVer, 2016-12-15
• Re: [Merge] lp:~widelands-dev/widelands/wood_gnome_infinite_trees into lp:widelands
  From: TiborB, 2016-12-15
• Re: [Merge] lp:~widelands-dev/widelands/wood_gnome_infinite_trees into lp:widelands
  From: SirVer, 2016-12-15
• Re: [Merge] lp:~widelands-dev/widelands/wood_gnome_infinite_trees into lp:widelands
  From: GunChleoc, 2016-12-15
• [Merge] lp:~widelands-dev/widelands/wood_gnome_infinite_trees into lp:widelands
  From: bunnybot, 2016-12-16
• [Merge] lp:~widelands-dev/widelands/wood_gnome_infinite_trees into lp:widelands
  From: SirVer, 2016-12-16
• Re: [Merge] lp:~widelands-dev/widelands/wood_gnome_infinite_trees into lp:widelands
  From: SirVer, 2016-12-16
• Re: [Merge] lp:~widelands-dev/widelands/wood_gnome_infinite_trees into lp:widelands
  From: GunChleoc, 2016-12-16
• [Merge] lp:~widelands-dev/widelands/wood_gnome_infinite_trees into lp:widelands
  From: bunnybot, 2016-12-16
• [Merge] lp:~widelands-dev/widelands/wood_gnome_infinite_trees into lp:widelands
  From: bunnybot, 2016-12-16
• Re: [Merge] lp:~widelands-dev/widelands/wood_gnome_infinite_trees into lp:widelands
  From: TiborB, 2016-12-16
• Re: [Merge] lp:~widelands-dev/widelands/wood_gnome_infinite_trees into lp:widelands
  From: SirVer, 2016-12-17
• [Merge] lp:~widelands-dev/widelands/wood_gnome_infinite_trees into lp:widelands
  From: noreply, 2016-12-17
• [Merge] lp:~widelands-dev/widelands-website/forum_list into lp:widelands-website
  From: kaputtnik, 2016-12-15
• Re: [Merge] lp:~widelands-dev/widelands-website/forum_list into lp:widelands-website
  From: GunChleoc, 2016-12-15
• Re: [Merge] lp:~widelands-dev/widelands-website/forum_list into lp:widelands-website
  From: kaputtnik, 2016-12-15
• [Merge] lp:~widelands-dev/widelands-website/forum_list into lp:widelands-website
  From: noreply, 2016-12-15
• Re: [Merge] lp:~widelands-dev/widelands-website/forum_list into lp:widelands-website
  From: kaputtnik, 2016-12-15
• Re: [Merge] lp:~widelands-dev/widelands-website/forum_list into lp:widelands-website
  From: kaputtnik, 2016-12-15
• Re: [Merge] lp:~widelands-dev/widelands-website/forum_list into lp:widelands-website
  From: GunChleoc, 2016-12-16
• [Merge] lp:~widelands-dev/widelands/bad_cast into lp:widelands
  From: SirVer, 2016-12-14
• [Merge] lp:~widelands-dev/widelands/bad_cast into lp:widelands
  From: bunnybot, 2016-12-15
• Re: [Merge] lp:~widelands-dev/widelands/bad_cast into lp:widelands
  From: GunChleoc, 2016-12-15
• Re: [Merge] lp:~widelands-dev/widelands/bad_cast into lp:widelands
  From: TiborB, 2016-12-15
• Re: [Merge] lp:~widelands-dev/widelands/bad_cast into lp:widelands
  From: SirVer, 2016-12-15
• [Merge] lp:~widelands-dev/widelands/bad_cast into lp:widelands
  From: noreply, 2016-12-15
• Re: [Merge] lp:~widelands-dev/widelands/bad_cast into lp:widelands
  From: SirVer, 2016-12-14
• [Merge] lp:~widelands-dev/widelands/reset_zoom_button into lp:widelands
  From: kaputtnik, 2016-12-12
• [Merge] lp:~widelands-dev/widelands/reset_zoom_button into lp:widelands
  From: bunnybot, 2016-12-12
• Re: [Merge] lp:~widelands-dev/widelands/reset_zoom_button into lp:widelands
  From: GunChleoc, 2016-12-13
• Re: [Merge] lp:~widelands-dev/widelands/reset_zoom_button into lp:widelands
  From: TiborB, 2016-12-15
• Re: [Merge] lp:~widelands-dev/widelands/reset_zoom_button into lp:widelands
  From: GunChleoc, 2016-12-15
• [Merge] lp:~widelands-dev/widelands/reset_zoom_button into lp:widelands
  From: bunnybot, 2016-12-16
• [Merge] lp:~widelands-dev/widelands/reset_zoom_button into lp:widelands
  From: bunnybot, 2016-12-16
• [Merge] lp:~widelands-dev/widelands/reset_zoom_button into lp:widelands
  From: bunnybot, 2016-12-22
• [Merge] lp:~widelands-dev/widelands/reset_zoom_button into lp:widelands
  From: bunnybot, 2016-12-22
• [Merge] lp:~widelands-dev/widelands/reset_zoom_button into lp:widelands
  From: bunnybot, 2016-12-23
• [Merge] lp:~widelands-dev/widelands/reset_zoom_button into lp:widelands
  From: bunnybot, 2016-12-23
• [Merge] lp:~widelands-dev/widelands/reset_zoom_button into lp:widelands
  From: bunnybot, 2017-01-01
• [Merge] lp:~widelands-dev/widelands/reset_zoom_button into lp:widelands
  From: bunnybot, 2017-01-01
• [Merge] lp:~widelands-dev/widelands/reset_zoom_button into lp:widelands
  From: kaputtnik, 2017-01-15
• <Possible follow-ups>
• [Merge] lp:~widelands-dev/widelands/reset_zoom_button into lp:widelands
  From: kaputtnik, 2017-01-19
• Re: [Merge] lp:~widelands-dev/widelands/reset_zoom_button into lp:widelands
  From: kaputtnik, 2017-01-19
• [Merge] lp:~widelands-dev/widelands/reset_zoom_button into lp:widelands
  From: bunnybot, 2017-01-19
• Re: [Merge] lp:~widelands-dev/widelands/reset_zoom_button into lp:widelands
  From: kaputtnik, 2017-01-21
• Re: [Merge] lp:~widelands-dev/widelands/reset_zoom_button into lp:widelands
  From: GunChleoc, 2017-01-22
• Re: [Merge] lp:~widelands-dev/widelands/reset_zoom_button into lp:widelands
  From: kaputtnik, 2017-01-25
• Re: [Merge] lp:~widelands-dev/widelands/reset_zoom_button into lp:widelands
  From: GunChleoc, 2017-01-25
• [Merge] lp:~widelands-dev/widelands/reset_zoom_button into lp:widelands
  From: noreply, 2017-01-25
• [Merge] lp:~7010622-q/widelands/topple-sounds-5 into lp:widelands
  From: toptopple, 2016-12-12
• [Merge] lp:~widelands-dev/widelands/bug-1625502-tips-in-help into lp:widelands
  From: GunChleoc, 2016-12-10
• [Merge] lp:~widelands-dev/widelands/bug-1625502-tips-in-help into lp:widelands
  From: bunnybot, 2016-12-11
• [Merge] lp:~widelands-dev/widelands/bug-1625502-tips-in-help into lp:widelands
  From: bunnybot, 2016-12-11
• [Merge] lp:~widelands-dev/widelands/bug-1625502-tips-in-help into lp:widelands
  From: bunnybot, 2016-12-14
• [Merge] lp:~widelands-dev/widelands/bug-1625502-tips-in-help into lp:widelands
  From: bunnybot, 2016-12-14
• [Merge] lp:~widelands-dev/widelands/bug-1625502-tips-in-help into lp:widelands
  From: bunnybot, 2017-01-17
• [Merge] lp:~widelands-dev/widelands/bug-1625502-tips-in-help into lp:widelands
  From: bunnybot, 2017-01-17
• Re: [Merge] lp:~widelands-dev/widelands/bug-1625502-tips-in-help into lp:widelands
  From: kaputtnik, 2017-01-19
• Re: [Merge] lp:~widelands-dev/widelands/bug-1625502-tips-in-help into lp:widelands
  From: Klaus Halfmann, 2017-01-22
• Re: [Merge] lp:~widelands-dev/widelands/bug-1625502-tips-in-help into lp:widelands
  From: kaputtnik, 2017-01-24
• Re: [Merge] lp:~widelands-dev/widelands/bug-1625502-tips-in-help into lp:widelands
  From: GunChleoc, 2017-01-24
• [Merge] lp:~widelands-dev/widelands/bug-1625502-tips-in-help into lp:widelands
  From: noreply, 2017-01-24
• [Merge] lp:~widelands-dev/widelands/map-descriptions-and-hints into lp:widelands
  From: GunChleoc, 2016-12-10
• [Merge] lp:~widelands-dev/widelands/map-descriptions-and-hints into lp:widelands
  From: bunnybot, 2016-12-10
• [Merge] lp:~widelands-dev/widelands/map-descriptions-and-hints into lp:widelands
  From: bunnybot, 2016-12-14
• [Merge] lp:~widelands-dev/widelands/map-descriptions-and-hints into lp:widelands
  From: bunnybot, 2016-12-14
• Re: [Merge] lp:~widelands-dev/widelands/map-descriptions-and-hints into lp:widelands
  From: TiborB, 2016-12-15
• Re: [Merge] lp:~widelands-dev/widelands/map-descriptions-and-hints into lp:widelands
  From: GunChleoc, 2016-12-15
• [Merge] lp:~widelands-dev/widelands/map-descriptions-and-hints into lp:widelands
  From: noreply, 2016-12-15
• [Merge] lp:~widelands-dev/widelands/critter_editor_categories into lp:widelands
  From: GunChleoc, 2016-12-10
• [Merge] lp:~widelands-dev/widelands/critter_editor_categories into lp:widelands
  From: GunChleoc, 2016-12-10

 •  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