On 11/8/2023 8:14 am, Joel Sherrill wrote: > I should have asked if you want another round of patches or just go ahead and > merge. This set of changes was pretty minor.
I am fine with the changes being pushed. Chris _______________________________________________ devel mailing list devel@rtems.org http://lists.rtems.org/mailman/listinfo/devel