On 25/01/2017 à 09:11, Alan Hourihane wrote: > http://www.freemint.org now has builds coming from github. Wow! FreeMiNT official sources are now on GitHub :-) Okay, so for my next patches I will make Pull Requests. I guess that the old way of submitting patches to this mailing list is now obsolete. -- Vincent Rivière