On Thu, Jul 26, 2012 at 12:45:50AM +0200, Ole wrote: > >For this kind of thing, ensure the patch is on a branch pushed to the > >repository so we can just merge it. > > > >So you should push that to (for example) mono/change-atari-defaults > > OK, please merge branch "change-atari-defaults". Thanks.
I have done so. You can delete that branch with: git push origin :mono/change-atari-defaults Note the colon. D. -- Daniel Silverstone http://www.netsurf-browser.org/ PGP mail accepted and encouraged. Key Id: 3CCE BABE 206C 3B69
