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
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