← Back to team overview

widelands-dev team mailing list archive

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