[PATCH] rtems-tools-6.cfg: Bump hash to get new INI files

Chris Johns chrisj at rtems.org
Sun Jan 23 22:45:20 UTC 2022


On 21/1/22 1:32 am, Joel Sherrill wrote:
> This looks good to me. If no one objects, I will push it.

Ok to push. Thanks

Chris


More information about the devel mailing list