On Wed, Jul 25, 2012 at 02:04:41PM +0200, Ole wrote: > I recently pushed an change to the Atari Makefile.target that > requires this change. > Pleas add the patch, thanks.
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 Then I (or jmb, vince, etc) can merge, verify, and push for you. D. -- Daniel Silverstone http://www.netsurf-browser.org/ PGP mail accepted and encouraged. Key Id: 3CCE BABE 206C 3B69
