On 05/18/2018 08:51 AM, Richard Shaw wrote:
Let me know if there's anything I can do to help.
Feel free to update the Mingw32 group and/or replace it with a different group. I don't have time at the moment to go through the process of updating it. Thanks for offering to help.