Am Mittwoch, den 25.07.2012, 14:09 +0200 schrieb Daniel Silverstone <[email protected]>:

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.

Greets,
Ole

Reply via email to