widelands-dev team mailing list archive
-
widelands-dev team
-
Mailing list archive
-
Message #09112
Re: [Merge] lp:~janus-jhor/widelands-website/switch_to_settings into lp:widelands-website
Doch, habe ich.
Allerdings musste ich den branch erst noch mit trunk mergen, da Janus keine Lust dazu hatte. Evtll hat bzr das nicht gecheckt, das ich den branch hier zu Hause pepusht habe.
Auf https://code.launchpad.net/widelands-website steht er auch in der Spalte 'Last Commit'. Ich habe ihn jetzt hier von Hand auf merged gesetzt.
--
https://code.launchpad.net/~janus-jhor/widelands-website/switch_to_settings/+merge/312957
Your team Widelands Developers is subscribed to branch lp:widelands-website.
References