widelands-dev  

Messages by Date

• 2019/04/25 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1817550-Statistics-hook-Winconditions into lp:widelands bunnybot
• 2019/04/25 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1817550-Statistics-hook-Winconditions into lp:widelands bunnybot
• 2019/04/25 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/appveyorboost1.70 into lp:widelands bunnybot
• 2019/04/25 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/editor-grid into lp:widelands Benedikt Straub
• 2019/04/25 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1818013-new-logo into lp:widelands Benedikt Straub
• 2019/04/25 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/ship_scheduling_2 into lp:widelands ypopezios
• 2019/04/25 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1818013-new-logo into lp:widelands GunChleoc
• 2019/04/25 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1817550-Statistics-hook-Winconditions into lp:widelands GunChleoc
• 2019/04/25 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/appveyorboost1.70 into lp:widelands GunChleoc
• 2019/04/25 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/appveyorboost1.70 into lp:widelands GunChleoc
• 2019/04/25 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/appveyorboost1.70 into lp:widelands hessenfarmer
• 2019/04/24 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1791891-key-modifier-inputqueue into lp:widelands noreply
• 2019/04/24 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1791891-key-modifier-inputqueue into lp:widelands GunChleoc
• 2019/04/24 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1817550-Statistics-hook-Winconditions into lp:widelands hessenfarmer
• 2019/04/24 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/territorial_unify_notifications into lp:widelands noreply
• 2019/04/24 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/territorial_unify_notifications into lp:widelands bunnybot
• 2019/04/24 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1791891-key-modifier-inputqueue into lp:widelands bunnybot
• 2019/04/24 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/territorial_unify_notifications into lp:widelands GunChleoc
• 2019/04/24 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/mipmaps into lp:widelands noreply
• 2019/04/24 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/mipmaps into lp:widelands bunnybot
• 2019/04/24 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/cleanup-statistics-plotter into lp:widelands noreply
• 2019/04/24 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/territorial_unify_notifications into lp:widelands Toni Förster
• 2019/04/24 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/cleanup-statistics-plotter into lp:widelands GunChleoc
• 2019/04/24 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/cleanup-statistics-plotter into lp:widelands bunnybot
• 2019/04/24 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/cleanup-statistics-plotter into lp:widelands bunnybot
• 2019/04/24 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/editor-grid into lp:widelands Benedikt Straub
• 2019/04/24 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/editor-grid into lp:widelands Benedikt Straub
• 2019/04/24 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/editor-grid into lp:widelands Benedikt Straub
• 2019/04/24 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/editor-grid into lp:widelands Benedikt Straub
• 2019/04/24 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/editor-grid into lp:widelands Benedikt Straub
• 2019/04/24 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/editor-grid into lp:widelands Benedikt Straub
• 2019/04/24 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/peaceful into lp:widelands GunChleoc
• 2019/04/24 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/territorial_unify_notifications into lp:widelands Toni Förster
• 2019/04/24 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/cleanup-statistics-plotter into lp:widelands GunChleoc
• 2019/04/24 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/ship_scheduling_2 into lp:widelands GunChleoc
• 2019/04/24 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/cleanup-statistics-plotter into lp:widelands Toni Förster
• 2019/04/24 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/ship_scheduling_2 into lp:widelands ypopezios
• 2019/04/24 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/territorial_unify_notifications into lp:widelands GunChleoc
• 2019/04/24 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1809838-document-mill into lp:widelands noreply
• 2019/04/24 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/cleanup-statistics-plotter into lp:widelands GunChleoc
• 2019/04/24 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1809838-document-mill into lp:widelands GunChleoc
• 2019/04/24 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1809838-document-mill into lp:widelands GunChleoc
• 2019/04/24 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/ship_scheduling_2 into lp:widelands noreply
• 2019/04/24 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1817550-Statistics-hook-Winconditions into lp:widelands GunChleoc
• 2019/04/24 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/ship_scheduling_2 into lp:widelands GunChleoc
• 2019/04/24 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/ship_scheduling_2 into lp:widelands ypopezios
• 2019/04/24 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1817550-Statistics-hook-Winconditions into lp:widelands hessenfarmer
• 2019/04/24 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1791891-key-modifier-inputqueue into lp:widelands bunnybot
• 2019/04/24 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/ship_scheduling_2 into lp:widelands GunChleoc
• 2019/04/24 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/per-level-soldier-anims into lp:widelands GunChleoc
• 2019/04/24 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/editor-resize-map into lp:widelands noreply
• 2019/04/24 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/fix_fix_dependencies into lp:widelands noreply
• 2019/04/23 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/fix_fix_dependencies into lp:widelands GunChleoc
• 2019/04/23 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/fix_fix_dependencies into lp:widelands GunChleoc
• 2019/04/23 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1825925-mac-dylib-fix into lp:widelands/build20 GunChleoc
• 2019/04/23 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1825925-mac-dylib-fix into lp:widelands/build20 Toni Förster
• 2019/04/23 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/fix_fix_dependencies into lp:widelands Toni Förster
• 2019/04/23 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/editor-resize-map into lp:widelands GunChleoc
• 2019/04/23 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/mipmaps into lp:widelands GunChleoc
• 2019/04/23 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1791891-key-modifier-inputqueue into lp:widelands GunChleoc
• 2019/04/23 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/cleanup-soundhandler into lp:widelands noreply
• 2019/04/23 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/cleanup-soundhandler into lp:widelands GunChleoc
• 2019/04/23 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/fix_fix_dependencies into lp:widelands bunnybot
• 2019/04/23 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/cleanup-soundhandler into lp:widelands bunnybot
• 2019/04/23 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/cleanup-soundhandler into lp:widelands bunnybot
• 2019/04/23 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1825925-mac-dylib-fix into lp:widelands/build20 SirVer
• 2019/04/23 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1825925-mac-dylib-fix into lp:widelands/build20 SirVer
• 2019/04/23 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/campaignselect_box into lp:widelands noreply
• 2019/04/23 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/campaignselect_box into lp:widelands bunnybot
• 2019/04/23 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1791891-key-modifier-inputqueue into lp:widelands bunnybot
• 2019/04/23 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/editor-resize-map into lp:widelands bunnybot
• 2019/04/23 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/editor-resize-map into lp:widelands GunChleoc
• 2019/04/23 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/editor-resize-map into lp:widelands GunChleoc
• 2019/04/23 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/editor-resize-map into lp:widelands bunnybot
• 2019/04/23 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1825925-mac-dylib-fix into lp:widelands/build20 Toni Förster
• 2019/04/23 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1825925-mac-dylib-fix into lp:widelands Toni Förster
• 2019/04/23 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1825925-mac-dylib-fix into lp:widelands Toni Förster
• 2019/04/23 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/fix_fix_dependencies into lp:widelands SirVer
• 2019/04/23 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/cleanup-soundhandler into lp:widelands GunChleoc
• 2019/04/23 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/campaignselect_box into lp:widelands GunChleoc
• 2019/04/23 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/cleanup-rendertarget into lp:widelands noreply
• 2019/04/23 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1817550-Statistics-hook-Winconditions into lp:widelands GunChleoc
• 2019/04/23 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/cleanup-rendertarget into lp:widelands GunChleoc
• 2019/04/23 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1791891-key-modifier-inputqueue into lp:widelands bunnybot
• 2019/04/23 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/soldier-capacity-ctrl into lp:widelands noreply
• 2019/04/23 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/new_frisian_roads into lp:widelands noreply
• 2019/04/23 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1764318-barbarian-lore into lp:widelands noreply
• 2019/04/23 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/editor-resize-map into lp:widelands bunnybot
• 2019/04/23 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug1823471-empire3-4-victory into lp:widelands noreply
• 2019/04/23 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/new_frisian_roads into lp:widelands GunChleoc
• 2019/04/23 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1764318-barbarian-lore into lp:widelands GunChleoc
• 2019/04/23 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug1823471-empire3-4-victory into lp:widelands GunChleoc
• 2019/04/23 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/editor-resize-map into lp:widelands GunChleoc
• 2019/04/23 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1791891-key-modifier-inputqueue into lp:widelands GunChleoc
• 2019/04/23 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/soldier-capacity-ctrl into lp:widelands GunChleoc
• 2019/04/23 [Widelands-dev] [Merge] lp:widelands/build20 into lp:widelands GunChleoc
• 2019/04/23 [Widelands-dev] Windows builds are done Fòram na Gàidhlig
• 2019/04/22 [Widelands-dev] [Merge] lp:widelands/build20 into lp:widelands bunnybot
• 2019/04/22 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/ferry into lp:widelands bunnybot
• 2019/04/22 [Widelands-dev] Please do not push to the Widelands repo Fòram na Gàidhlig
• 2019/04/22 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1825811-ubuntu-eoan into lp:widelands noreply
• 2019/04/22 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1825811-ubuntu-eoan into lp:widelands bunnybot
• 2019/04/22 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1825811-ubuntu-eoan into lp:widelands GunChleoc
• 2019/04/22 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1825811-ubuntu-eoan into lp:widelands GunChleoc
• 2019/04/22 [Widelands-dev] [Merge] lp:widelands/build20 into lp:widelands bunnybot
• 2019/04/22 [Widelands-dev] [Build #16672737] i386 build of widelands 1:20-0-1~ubuntu19.10.1 in ubuntu eoan RELEASE [~widelands-dev/ubuntu/widelands] Launchpad Buildd System
• 2019/04/22 [Widelands-dev] [Build #16672736] amd64 build of widelands 1:20-0-1~ubuntu19.10.1 in ubuntu eoan RELEASE [~widelands-dev/ubuntu/widelands] Launchpad Buildd System
• 2019/04/22 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1825811-ubuntu-eoan into lp:widelands Toni Förster
• 2019/04/22 [Widelands-dev] [Build #16672674] i386 build of widelands 1:19-ppa0-bzr9058-201904220842~ubuntu19.10.1 in ubuntu eoan RELEASE [~widelands-dev/ubuntu/widelands-daily] Launchpad Buildd System
• 2019/04/22 [Widelands-dev] [Build #16672673] amd64 build of widelands 1:19-ppa0-bzr9058-201904220842~ubuntu19.10.1 in ubuntu eoan RELEASE [~widelands-dev/ubuntu/widelands-daily] Launchpad Buildd System
• 2019/04/21 [Widelands-dev] [Merge] lp:widelands/build20 into lp:widelands GunChleoc
• 2019/04/21 [Widelands-dev] [Merge] lp:widelands/build20 into lp:widelands GunChleoc
• 2019/04/21 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1764318-barbarian-lore into lp:widelands hessenfarmer
• 2019/04/20 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/ferry into lp:widelands bunnybot
• 2019/04/20 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/representative_image_in_font_renderer into lp:widelands bunnybot
• 2019/04/20 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1818494-no-negative-zoom into lp:widelands noreply
• 2019/04/20 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1818494-no-negative-zoom into lp:widelands GunChleoc
• 2019/04/20 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1818494-no-negative-zoom into lp:widelands bunnybot
• 2019/04/20 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/split_up_liblogic_2_mapobjectdescr into lp:widelands bunnybot
• 2019/04/20 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/representative_image_in_font_renderer into lp:widelands GunChleoc
• 2019/04/19 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/split_up_liblogic_2_mapobjectdescr into lp:widelands GunChleoc
• 2019/04/19 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/split_up_liblogic_2_mapobjectdescr into lp:widelands GunChleoc
• 2019/04/19 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/ferry into lp:widelands bunnybot
• 2019/04/19 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1764318-barbarian-lore into lp:widelands bunnybot
• 2019/04/19 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/cleanup-soundhandler into lp:widelands bunnybot
• 2019/04/19 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/fix-wl_include_system_directories into lp:widelands noreply
• 2019/04/19 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/fix-wl_include_system_directories into lp:widelands bunnybot
• 2019/04/19 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1764318-barbarian-lore into lp:widelands GunChleoc
• 2019/04/19 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/fix-wl_include_system_directories into lp:widelands GunChleoc
• 2019/04/19 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/fix-wl_include_system_directories into lp:widelands GunChleoc
• 2019/04/19 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/cleanup-soundhandler into lp:widelands GunChleoc
• 2019/04/18 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/campaignselect_box into lp:widelands bunnybot
• 2019/04/18 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/fix-wl_include_system_directories into lp:widelands bunnybot
• 2019/04/18 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/fix-wl_include_system_directories into lp:widelands GunChleoc
• 2019/04/18 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/fix-wl_include_system_directories into lp:widelands GunChleoc
• 2019/04/18 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/fix-wl_include_system_directories into lp:widelands GunChleoc
• 2019/04/18 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/fix-wl_include_system_directories into lp:widelands GunChleoc
• 2019/04/18 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1818494-no-negative-zoom into lp:widelands bunnybot
• 2019/04/17 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1818494-no-negative-zoom into lp:widelands GunChleoc
• 2019/04/17 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/changelog-b20-rc1 into lp:widelands noreply
• 2019/04/17 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/changelog-b20-rc1 into lp:widelands GunChleoc
• 2019/04/17 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/changelog-b20-rc1 into lp:widelands hessenfarmer
• 2019/04/16 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands-website/css_border into lp:widelands-website kaputtnik
• 2019/04/16 [Widelands-dev] [Merge] lp:~widelands-dev/widelands-website/css_border into lp:widelands-website noreply
• 2019/04/16 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/ferry into lp:widelands GunChleoc
• 2019/04/16 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands-website/css_border into lp:widelands-website GunChleoc
• 2019/04/15 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/representative_image_in_font_renderer into lp:widelands GunChleoc
• 2019/04/15 [Widelands-dev] [Merge] lp:~widelands-dev/widelands-website/css_border into lp:widelands-website kaputtnik
• 2019/04/15 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/ferry into lp:widelands Benedikt Straub
• 2019/04/15 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/changelog-b20-rc1 into lp:widelands bunnybot
• 2019/04/15 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/ferry into lp:widelands GunChleoc
• 2019/04/14 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/changelog-b20-rc1 into lp:widelands GunChleoc
• 2019/04/14 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/ferry into lp:widelands bunnybot
• 2019/04/14 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/representative_image_in_font_renderer into lp:widelands bunnybot
• 2019/04/14 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/ferry into lp:widelands kaputtnik
• 2019/04/12 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/cleanup-soundhandler into lp:widelands Klaus Halfmann
• 2019/04/12 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/per-level-soldier-anims into lp:widelands bunnybot
• 2019/04/10 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1823612-llvm8-build-errors into lp:widelands noreply
• 2019/04/10 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/editor-resize-map into lp:widelands GunChleoc
• 2019/04/10 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1823612-llvm8-build-errors into lp:widelands GunChleoc
• 2019/04/10 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1823612-llvm8-build-errors into lp:widelands bunnybot
• 2019/04/10 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1823612-llvm8-build-errors into lp:widelands hessenfarmer
• 2019/04/10 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands-website/screshot_ordering into lp:widelands-website GunChleoc
• 2019/04/10 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1823612-llvm8-build-errors into lp:widelands GunChleoc
• 2019/04/10 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands-website/screshot_ordering into lp:widelands-website kaputtnik
• 2019/04/10 [Widelands-dev] [Merge] lp:~widelands-dev/widelands-website/screshot_ordering into lp:widelands-website noreply
• 2019/04/10 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/editor-resize-map into lp:widelands bunnybot
• 2019/04/10 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/editor-resize-map into lp:widelands Benedikt Straub
• 2019/04/10 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands-website/screshot_ordering into lp:widelands-website GunChleoc
• 2019/04/10 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1823612-llvm8-build-errors into lp:widelands TiborB
• 2019/04/09 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1823612-llvm8-build-errors into lp:widelands hessenfarmer
• 2019/04/09 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1823612-llvm8-build-errors into lp:widelands hessenfarmer
• 2019/04/09 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1823612-llvm8-build-errors into lp:widelands TiborB
• 2019/04/09 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1823612-llvm8-build-errors into lp:widelands GunChleoc
• 2019/04/09 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/editor-resize-map into lp:widelands GunChleoc
• 2019/04/09 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1823612-llvm8-build-errors into lp:widelands bunnybot
• 2019/04/09 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1823612-llvm8-build-errors into lp:widelands hessenfarmer
• 2019/04/09 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1823612-llvm8-build-errors into lp:widelands TiborB
• 2019/04/09 [Widelands-dev] [Merge] lp:~widelands-dev/widelands-website/screshot_ordering into lp:widelands-website kaputtnik
• 2019/04/09 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1823612-llvm8-build-errors into lp:widelands hessenfarmer
• 2019/04/09 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/cleanup-soundhandler into lp:widelands Klaus Halfmann
• 2019/04/09 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1823612-llvm8-build-errors into lp:widelands GunChleoc
• 2019/04/09 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1823612-llvm8-build-errors into lp:widelands bunnybot
• 2019/04/09 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/territorial_unify_notifications into lp:widelands bunnybot
• 2019/04/08 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands-website/mv_main_files into lp:widelands-website kaputtnik
• 2019/04/08 [Widelands-dev] [Merge] lp:~widelands-dev/widelands-website/mv_main_files into lp:widelands-website noreply
• 2019/04/08 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/editor-resize-map into lp:widelands GunChleoc
• 2019/04/08 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/ferry into lp:widelands bunnybot
• 2019/04/08 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/editor-resize-map into lp:widelands bunnybot
• 2019/04/08 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1764318-barbarian-lore into lp:widelands bunnybot
• 2019/04/08 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/cleanup-statistics-plotter into lp:widelands bunnybot
• 2019/04/08 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/territorial_unify_notifications into lp:widelands bunnybot
• 2019/04/08 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/ferry into lp:widelands Benedikt Straub
• 2019/04/08 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/editor-resize-map into lp:widelands Benedikt Straub
• 2019/04/08 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug1823471-empire3-4-victory into lp:widelands bunnybot
• 2019/04/08 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1764318-barbarian-lore into lp:widelands GunChleoc
• 2019/04/08 [Widelands-dev] [Merge] lp:~widelands-dev/widelands/territorial_game_over into lp:widelands noreply
• 2019/04/08 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/editor-resize-map into lp:widelands GunChleoc
• 2019/04/07 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/territorial_game_over into lp:widelands GunChleoc
• 2019/04/07 Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/cleanup-soundhandler into lp:widelands GunChleoc

• Earlier messages
• Later messages