Hi all,
first of all: Atari800's home has been on GitHub since 2017-08-03 as can be seen for example here:
https://atari800.github.io/news.html
or here:
https://atari800.sf.net/
or here:
https://atari800.github.io/
Baktra posted a wrong link to the release, that's a pity. All releases on GitHub are naturally here:
https://github.com/atari800/atari800/releases
Then, if a patch was submitted but not committed then there's a reason for it. For example the mailing list discussion related to the RMW Pokey contains also my posts that say why it wasn't committed yet:
https://sourceforge.net/p/atari800/mailman/message/34239977/
Also, patches in mailing list tend to get lost. GitHub pull request would be great. Even though this is a one liner so I'd have committed it long time ago if only someone else confirmed that the patch does the right thing.
I try to accept all useful additions and improvements. If I happen to fail please remind me, I am very busy with the real life so I spend only very limited time on Atari800 nowadays.
Thanks,
Petr